4 commits

Author	SHA1	Message	Date
Martin Fredin	3efb27ac0c	Document and fix code style	2023-02-18 13:41:38 +01:00
Martin Fredin	21fb6bf5ed	Fix indentation	2023-02-18 13:27:58 +01:00
Martin Fredin	a3e57dde7b	Change grammar: only one bind in let and no EAnn for typed syntax	2023-02-18 13:02:25 +01:00
Martin Fredin	210e55bb15	Adjust old type checker to new syntax, and refactor lambda lifter to use typed AST	2023-02-15 23:55:16 +01:00