Justus Matthiesen 8a9bf396ea [ new ] semiring instance for SizeChange		2023-11-06 20:10:21 +00:00
..
Algebra	[ new ] semiring instance for SizeChange	2023-11-06 20:10:21 +00:00
Compiler	[ warning ] for incompatible visibilities on forward decls and definitions. (#3063)	2023-10-25 11:24:43 +01:00
Core	[ refactor ] move SizeChange to a separate file	2023-11-06 20:10:21 +00:00
Idris	[ cleanup ] remove duplicate copy of header parsing (#3122)	2023-10-27 13:08:17 +01:00
Libraries	[ new ] sparse matrices	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