3 commits

Author	SHA1	Message	Date
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