Idris-dev/libs
2019-02-06 09:59:34 +00:00
..
base Add takeUpto and dropUpto functions to Data.Vect 2019-02-06 09:59:34 +00:00
contrib Add Show instance for SortedMap 2018-12-08 23:51:00 +01:00
effects Allow overriding IDRIS via environment variable 2018-03-23 13:31:14 +01:00
prelude Correcting typo in documentation 2019-01-15 16:27:14 -05:00
pruviloj Allow overriding IDRIS via environment variable 2018-03-23 13:31:14 +01:00
Makefile Allow Idris to install IdrisDoc into a central location. 2016-09-28 19:29:27 +01:00