CodingCellist d80bc1537d [ base ] Add bindings for ieee Double number consts (#3116)		2023-11-09 14:01:40 +00:00
..
Algebra	[ new ] Pretty instance for SizeChange	2023-11-06 20:10:21 +00:00
Compiler	[ base ] Add bindings for ieee Double number consts (#3116)	2023-11-09 14:01:40 +00:00
Core	Cleanup of sizeEq (#3138)	2023-11-09 13:59:53 +00:00
Idris	[ debug ] sc-graphs now have labels "l" and "r" for LHS and RHS	2023-11-06 20:10:21 +00:00
Libraries	[ fix ] handle printing of empty matrices gracefully	2023-11-06 20:10:21 +00:00
Parser	[ fix ] support .lidr.md and .lidr.tex extensions (#3071)	2023-09-25 22:25:26 +01:00
Protocol	[ refactor ] S-Exp protocols to depend on fewer Idris modules (#3060)	2023-08-31 11:53:14 +01:00
TTImp	[ elab ] Add an ability to inspect in which function we currently are	2023-10-26 15:42:26 +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