Edwin Brady 18c7e2c4da Merge github.com:idris-lang/Idris2 into normalise-tweaks		2021-06-10 12:22:02 +01:00
..
Prelude	Remove redundant converstion checks in Pi types	2021-06-10 12:19:41 +01:00
Builtin.idr	[ doc ] for the linear pair constructor (#1492)	2021-06-03 13:04:56 +01:00
Makefile	[ new ] --install-with-src; refactoring around FCs (#1450)	2021-06-05 12:53:22 +01:00
Prelude.idr	[ typo ] Enum -> Range (#1099)	2021-02-22 10:05:08 +00:00
prelude.ipkg	Add --ignore-missing-ipkg flag	2021-02-27 19:39:47 +00:00
PrimIO.idr	Add RefC FFI header file support	2021-05-20 14:25:16 +01:00