Justus Matthiesen 1d3bad7c0e [ doc ] reference to termination paper		2023-04-23 17:42:04 +01:00
..
Algebra	[ minor ] more magic for name generation	2022-06-17 10:17:40 +01:00
Compiler	[ new ] %unsafe pragma for escape hatches (#2937)	2023-04-03 21:42:47 +01:00
Core	[ doc ] reference to termination paper	2023-04-23 17:42:04 +01:00
Idris	[ parser ] Improve error message for missing comma or period in forall.	2023-04-07 08:42:42 +01:00
Libraries	[ re #2832 ] warn about conflicting fixity declarations (#2889)	2023-02-19 16:29:10 +00:00
Parser	[ fix #2087 ] Fix multiline string on CRLF	2023-02-13 14:21:09 +00:00
Protocol	[ fix #2087 ] Fix multiline string on CRLF	2023-02-13 14:21:09 +00:00
TTImp	[ fix ] codegen issue when using partial case statements in prelude. (#2952)	2023-04-23 11:07:04 +01:00
Yaffle	[ cleanup ] --timing levels	2022-04-13 14:37:43 +01:00
Algebra.idr	[ debug ] pretty printer for case trees (#652)	2020-09-09 16:22:22 +01:00