@@ -1,7 +1,8 @@
11{-# LANGUAGE TypeSynonymInstances #-}
22{-# OPTIONS_GHC -fwarn-incomplete-patterns #-}
33
4−module Idris.IBC where
4+module Idris.IBC (loadIBC, loadPkgIndex,
5+ writeIBC, writePkgIndex) where
56
67import Idris.Core.Evaluate
78import Idris.Core.TT