Andy Lok fdb0d97039 Don't use too may let ... Signed-off-by: Andy Lok <andylokandy@hotmail.com>		2021-02-07 01:30:05 +08:00
..
Algebra	Add visibility rules on types	2020-05-30 17:03:15 +01:00
Compiler	Add missing Bits64->Int cast	2021-01-27 18:34:32 +00:00
Core	[ fix #835 ] Keep names of implicit variables in with clauses (#1017)	2021-02-03 16:16:11 +00:00
Idris	Refactor source lexer	2021-02-07 00:51:58 +08:00
Libraries	Don't use too may let	2021-02-07 01:30:05 +08:00
Parser	Refactor source lexer	2021-02-07 00:51:58 +08:00
TTImp	[ fix #835 ] Keep names of implicit variables in with clauses (#1017)	2021-02-03 16:16:11 +00:00
Yaffle	Internalized contrib libraries and removed dependency	2021-01-21 14:56:53 +01:00
Algebra.idr	[ debug ] pretty printer for case trees (#652)	2020-09-09 16:22:22 +01:00