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

Add missing ipkg

Browse Source
This commit is contained in:
Edwin Brady 2019-06-19 18:50:46 +01:00
parent 02c2358093
commit c3a4360ee9
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
libs/prelude/prelude.ipkg Normal file
View File

@ -0,0 +1,8 @@
package prelude
opts = "--no-prelude"
modules = Builtin,
PrimIO,
Prelude