git.iko.soy/Idris-dev
on master help sign in
Export list for IBC.hs
1841601Niklas Larsson
src/Idris/IBC.hs+2−1
compare with master
unifiedsplit
@@ -1,7 +1,8 @@
1{-# LANGUAGE TypeSynonymInstances #-}
1{-# LANGUAGE TypeSynonymInstances #-}
2{-# OPTIONS_GHC -fwarn-incomplete-patterns #-}
2{-# OPTIONS_GHC -fwarn-incomplete-patterns #-}
3
3
4−module Idris.IBC where
4+module Idris.IBC (loadIBC, loadPkgIndex,
5+ writeIBC, writePkgIndex) where
5
6
6import Idris.Core.Evaluate
7import Idris.Core.Evaluate
7import Idris.Core.TT
8import Idris.Core.TT