stefan-hoeck 1104776430 fix 1037		2021-02-08 15:47:23 +00:00
..
Algebra	Add visibility rules on types	2020-05-30 17:03:15 +01:00
Compiler	fix 1037	2021-02-08 15:47:23 +00:00
Core	Make :typeat a useful command (#998)	2021-02-05 16:15:40 +00:00
Idris	Make :typeat a useful command (#998)	2021-02-05 16:15:40 +00:00
Libraries	Make :typeat a useful command (#998)	2021-02-05 16:15:40 +00:00
Parser	[ fix #1023 ] Hexadecimal literals can be pretty big	2021-02-04 13:22:55 +00:00
TTImp	Make :typeat a useful command (#998)	2021-02-05 16:15:40 +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