6 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Claudio Maggioni	9b1765f8bf	attempt	2024-12-17 15:03:35 +01:00
Claudio Maggioni	e13b40fd3d	done ex2	2024-12-16 23:57:38 +01:00
Claudio Maggioni	9c812f7158	ex2 typechecks	2024-12-16 23:46:48 +01:00
Claudio Maggioni	536148a0e4	1 done	2024-12-16 20:50:06 +01:00
Claudio Maggioni	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