Edwin Brady 468555bb2e Merge pull request #143 from ohad/bugfix-#133 ... Bugfix #133 and library support for tail-recursive list manipulation		2019-12-06 10:56:03 +00:00
..
base	Merge pull request #143 from ohad/bugfix-#133	2019-12-06 10:56:03 +00:00
network	Add --libdir option	2019-09-19 13:04:39 +01:00
prelude	Merge branch 'master' of github.com:edwinb/Idris2	2019-11-19 14:07:55 +00:00