|
|
0b9bff5ba8
|
ready for submission
|
2024-12-22 23:11:09 +01:00 |
|
|
|
f73a8601c3
|
almost done
|
2024-12-22 22:22:29 +01:00 |
|
|
|
decd52836f
|
works
|
2024-12-22 22:19:25 +01:00 |
|
|
|
e89a95f88e
|
promising bonus
|
2024-12-22 21:03:07 +01:00 |
|
|
|
601826c403
|
no bonus
|
2024-12-22 19:07:36 +01:00 |
|
|
|
efa648207f
|
ex4 predef string weird error
|
2024-12-22 17:33:19 +01:00 |
|
|
|
cbe868975b
|
ex4 started
|
2024-12-22 16:21:16 +01:00 |
|
|
|
07f5451064
|
ex3 done
|
2024-12-18 21:55:31 +01:00 |
|
|
|
16b4367ed0
|
ex1 and ex2 done
|
2024-12-18 14:17:26 +01:00 |
|
|
|
fa3972ec1b
|
ex2 works
|
2024-12-18 14:01:08 +01:00 |
|
|
|
dda2d1b61f
|
compiles
|
2024-12-18 12:52:31 +01:00 |
|
|
|
e13b40fd3d
|
done ex2
|
2024-12-16 23:57:38 +01:00 |
|
|
|
9c812f7158
|
ex2 typechecks
|
2024-12-16 23:46:48 +01:00 |
|
|
|
536148a0e4
|
1 done
|
2024-12-16 20:50:06 +01:00 |
|
|
|
32f106c61f
|
solution with make-true
|
2024-12-16 17:18:42 +01:00 |
|
Andrea Mocci
|
7dc37783d8
|
Initial commit
|
2024-11-19 14:15:46 +01:00 |
|
