3 commits

Author	SHA1	Message	Date
Claudio Maggioni	dda2d1b61f	compiles	2024-12-18 12:52:31 +01:00
Claudio Maggioni	9c812f7158	ex2 typechecks	2024-12-16 23:46:48 +01:00
Andrea Mocci	7dc37783d8	Initial commit	2024-11-19 14:15:46 +01:00