Giuseppe Lomurno 6d531cd310 Remove todo		2020-06-13 23:52:54 +02:00
..
Algebra	Add visibility rules on types	2020-05-30 17:03:15 +01:00
Compiler	Make Buffer more primitive	2020-06-11 14:05:52 +01:00
Core	Merge https://github.com/idris-lang/Idris2 into linear-things	2020-06-12 14:16:01 +01:00
Data	Add missing totality annotations	2020-05-28 15:17:14 +01:00
Idris	Merge remote-tracking branch 'upstream/master' into code-in-errors	2020-06-13 18:20:12 +02:00
Parser	More precise token boundaries	2020-06-13 16:50:54 +02:00
Text	Remove todo	2020-06-13 23:52:54 +02:00
TTImp	Improve inference of linearity in let	2020-06-12 13:47:15 +01:00
Utils	Make Buffer more primitive	2020-06-11 14:05:52 +01:00
Yaffle	Make pathToNS handle absolute path	2020-05-30 21:43:48 +08:00
Algebra.idr	Add missing totality annotations	2020-05-28 15:17:14 +01:00