Idris2/libs/contrib
2020-08-28 14:26:11 +01:00
..
Control Add some algebra implementations 2020-07-17 08:25:20 -05:00
Data Add Data.Stream.Extra.startWith 2020-08-28 13:16:31 +01:00
Debug Back to HasIO, remove MonadIO 2020-06-21 19:21:22 +01:00
Language Fix import loading 2020-05-27 15:49:03 +01:00
Syntax Move cong2 from contrib to Prelude.Basics 2020-08-20 07:53:45 +01:00
System Add supporting code 2020-08-25 14:30:57 +03:00
Text PTerm and error intial prettyprinting 2020-08-18 19:25:36 +01:00
contrib.ipkg Add missing Data.Stream.Extra module to contrib.ipkg 2020-08-28 14:26:11 +01:00
Makefile Refactor makefiles 2020-05-19 18:50:47 +06:00