5 commits

Author	SHA1	Message	Date
Martin Fredin	4831205e67	Remove incorrect test	2023-03-30 18:46:55 +02:00
Martin Fredin	bbe0d77a19	Add signature of inferred bind to allow some mutually defined definitions	2023-03-30 12:35:47 +02:00
Martin Fredin	4755f434fd	Add test for pattern matching on recursive data types, and remove traces	2023-03-29 11:26:47 +02:00
sebastian	ad2bd645d9	tests are running now	2023-03-27 20:33:11 +02:00
Martin Fredin	ac3f222753	Add bidirectional type checker, lambda lifter.	2023-03-27 16:07:11 +02:00