idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-03 00:36:37 +03:00
Code Issues Projects Releases Wiki Activity
8544e80076
Idris2/libs/prelude/Prelude
History
Kamil Shakirov 8544e80076 Use the same naming convention for foreign primitives
2020-08-19 14:05:28 +01:00
..
Basics.idr Reorganise prelude into multiple files 2020-07-12 16:55:48 +01:00
EqOrd.idr Add various instances from stdlib interfaces (Eq, Ord, DecEq) 2020-07-26 10:47:38 +01:00
Interfaces.idr Reorganise prelude into multiple files 2020-07-12 16:55:48 +01:00
IO.idr Use the same naming convention for foreign primitives 2020-08-19 14:05:28 +01:00
Num.idr Reorganise prelude into multiple files 2020-07-12 16:55:48 +01:00
Ops.idr Restore Bool operators precedence 2020-07-18 05:49:35 -07:00
Show.idr Make showParens public 2020-08-04 10:58:00 +01:00
Types.idr [ refactor ] introduce List1 to remove impossible case (#520) 2020-08-04 20:03:18 +01:00
Uninhabited.idr Reorganise prelude into multiple files 2020-07-12 16:55:48 +01:00