Edwin Brady a93def90a9 Merge github.com:idris-lang/Idris2 into prepare-040		2021-06-23 18:16:36 +01:00
..
Prelude	Merge pull request #1598 from gallais/show-void	2021-06-23 18:11:40 +01:00
Builtin.idr	Add totality annotations to src and libs/{prelude, base}	2021-06-12 21:06:08 -05: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	Update version numbers	2021-06-23 16:15:21 +01:00
PrimIO.idr	Simplify some lambdas (#1561)	2021-06-16 15:22:30 +01:00