• Joined on 2023-05-28
Hans created branch iris_1 in Hans/haga 2024-05-09 09:38:46 +02:00
Hans created branch german_9 in Hans/haga 2024-05-09 09:38:46 +02:00
Hans created branch german_5 in Hans/haga 2024-05-09 09:38:45 +02:00
Hans pushed to german_8 at Hans/haga 2024-05-09 09:38:45 +02:00
7b4e9a1653 weights #3
3ea8700611 variation 2
Compare 2 commits »
Hans created branch german_8 in Hans/haga 2024-05-09 09:38:45 +02:00
Hans pushed to german_6 at Hans/haga 2024-05-09 09:38:45 +02:00
f8f7084bf2 variation 4
fe74d7dc35 variation 3
Compare 2 commits »
Hans created branch german_6 in Hans/haga 2024-05-09 09:38:45 +02:00
Hans pushed to german_5 at Hans/haga 2024-05-09 09:38:45 +02:00
8a04da73f3 variation 4
af280f8739 variation 2
Compare 2 commits »
Hans pushed to german_3 at Hans/haga 2024-05-09 09:38:45 +02:00
0d31c09189 variation 3
Hans created branch german_3 in Hans/haga 2024-05-09 09:38:45 +02:00
Hans pushed to german_2 at Hans/haga 2024-05-09 09:38:45 +02:00
4b0adea02f variation 2
Hans created branch german_2 in Hans/haga 2024-05-09 09:38:45 +02:00
Hans pushed to german_1 at Hans/haga 2024-05-09 09:38:45 +02:00
Hans created branch german_1 in Hans/haga 2024-05-09 09:38:45 +02:00
Hans pushed to baseline at Hans/haga 2024-05-09 09:38:45 +02:00
Hans created branch baseline in Hans/haga 2024-05-09 09:38:45 +02:00
Hans pushed to master at Hans/haga 2024-05-09 09:38:45 +02:00
17b64f263b LamdaCalculusV2
Hans pushed to iris1 at Hans/haga 2024-05-09 08:49:18 +02:00
155bc888bf iris1
Hans created branch iris1 in Hans/haga 2024-05-09 08:49:18 +02:00
Hans pushed to german1 at Hans/haga 2024-05-09 08:48:17 +02:00
137aaf81f4 german1