Commit Graph

3 Commits

Author SHA1 Message Date
Denis Merigoux
4d1d3a2e1c Reset tests 2021-01-20 19:21:02 +01:00
Denis Merigoux
44d7b616a4 Improve type error messages 2021-01-13 12:04:14 +01:00
Denis Merigoux
2cfb348274 Debugged unification and typing 2020-12-30 01:13:28 +01:00