idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-11-28 11:05:17 +03:00
Code Issues Projects Releases Wiki Activity

Sync idris2api.ipkg with idris2.ipkg

Browse Source
This commit is contained in:
Kamil Shakirov 2020-05-26 12:24:42 +06:00
parent 59800e1f47
commit d5743911fe
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
idris2api.ipkg
View File

@ -52,6 +52,7 @@ modules =
Data.Bool.Extra, Data.Bool.Extra,
Data.IntMap, Data.IntMap,
Data.LengthMatch, Data.LengthMatch,
Data.List.Extra,
Data.NameMap, Data.NameMap,
Data.StringMap, Data.StringMap,
Data.These, Data.These,
@ -70,6 +71,7 @@ modules =
Idris.IDEMode.Parser, Idris.IDEMode.Parser,
Idris.IDEMode.REPL, Idris.IDEMode.REPL,
Idris.IDEMode.TokenLine, Idris.IDEMode.TokenLine,
Idris.IDEMode.Holes,
Idris.ModTree, Idris.ModTree,
Idris.Package, Idris.Package,
Idris.Parser, Idris.Parser,