Martin Fredin 4755f434fd Add test for pattern matching on recursive data types, and remove traces		2023-03-29 11:26:47 +02:00
..
TestTypeChekerHm.hs	Add bidirectional type checker, lambda lifter.	2023-03-27 16:07:11 +02:00
DoStrings.hs	hm is compatible	2023-03-27 16:52:22 +02:00
Tests.hs	Newer changes	2023-03-28 15:26:35 +02:00
TestTypeCheckerBidir.hs	Add test for pattern matching on recursive data types, and remove traces	2023-03-29 11:26:47 +02:00
TestTypeCheckerHm.hs	Fixed previously incorrect type equality check, commented code, add test	2023-03-28 14:31:57 +02:00