4 commits

Author	SHA1	Message	Date
Leonardo de Moura	18ccc01cf1	feat: add inferType for LCNF	2022-08-09 17:33:24 -07:00
Leonardo de Moura	9e00cbd6d8	feat: add LCNFTypes.lean	2022-08-09 15:47:58 -07:00
Leonardo de Moura	fbb858a32c	chore: missing case	2022-08-08 23:40:44 -07:00
Leonardo de Moura	1952633a75	chore: compiler simple type experiment	2022-08-08 20:18:46 -07:00