Mathew Polzin ef366033e7 Apply suggestions from code review ... Co-authored-by: André Videla <andre.videla@gmail.com>		2021-01-05 20:26:18 -08:00
..
Algebra	Add visibility rules on types	2020-05-30 17:03:15 +01:00
Compiler	[ refactor ] use difference list for efficient append	2020-12-08 13:07:53 +00:00
Core	Merge branch 'master' into scratch-work-search-repl	2021-01-03 10:15:18 -08:00
Data	[ refactor ] use difference list for efficient append	2020-12-08 13:07:53 +00:00
Idris	Apply suggestions from code review	2021-01-05 20:26:18 -08:00
Parser	Compatibility fixes	2020-12-29 16:36:12 +00:00
Text	Compatibility fixes	2020-12-29 16:36:12 +00:00
TTImp	undo unneeded export	2021-01-03 11:53:20 -08:00
Utils	Compatibility fixes	2020-12-29 16:36:12 +00:00
Yaffle	[ refactor ] split up Core.Context	2020-09-16 15:45:16 +01:00
Algebra.idr	[ debug ] pretty printer for case trees (#652)	2020-09-09 16:22:22 +01:00