idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2025-01-08 08:52:22 +03:00
Code Issues Projects Releases Wiki Activity
028a1cb960
Idris2/src/Data
History
Fabián Heredia Montiel 97366f022d Add missing totality annotations
2020-05-28 15:17:14 +01:00
..
Bool Add missing totality annotations 2020-05-28 15:17:14 +01:00
List Add missing totality annotations 2020-05-28 15:17:14 +01:00
ANameMap.idr Add missing totality annotations 2020-05-28 15:17:14 +01:00
IntMap.idr Add missing totality annotations 2020-05-28 15:17:14 +01:00
LengthMatch.idr Add missing totality annotations 2020-05-28 15:17:14 +01:00
NameMap.idr Add missing totality annotations 2020-05-28 15:17:14 +01:00
StringMap.idr Add missing totality annotations 2020-05-28 15:17:14 +01:00
StringTrie.idr Everything but the IDE protocol 2020-05-17 15:56:45 +01:00
These.idr Everything but the IDE protocol 2020-05-17 15:56:45 +01:00