Idris2/libs/base
André Videla 3478297557
Merge pull request #905 from alebahn/master
Add public export to types/functions in Data.Fin.Order
2021-01-07 13:46:23 +00:00
..
Control change runState's signature 2020-12-17 10:10:18 +00:00
Data Merge pull request #905 from alebahn/master 2021-01-07 13:46:23 +00:00
Debug Add libraries 2020-05-18 14:00:08 +01:00
Decidable Some utilities for Fin, relations and decidability (#857) 2020-12-28 21:41:12 +00:00
Language Merge branch 'master' of https://github.com/idris-lang/Idris2 into master 2020-10-12 17:36:45 +03:00
System Remove lamdaRequire 2021-01-05 16:30:11 +00:00
base.ipkg Type definition from Decidable.Equality was moved to a separate module 2020-12-04 19:09:05 +00:00
Makefile Refactor makefiles 2020-05-19 18:50:47 +06:00
System.idr Use the same naming convention for foreign primitives 2020-08-19 14:05:28 +01:00