Add export list to Idris.DSL
commit9bcb63754d26d2f47af9d89f14ca976f71930a90
authorNiklas Larsson <niklas@mm.st>
dateMon 2 Oct 2017, 22:18 (9 years ago)
parent7c2ff79
src/Idris/DSL.hs+1−1
@@ -8,7 +8,7 @@ Maintainer : The Idris Community.
88
99{-# LANGUAGE PatternGuards #-}
1010
11−module Idris.DSL where
11+module Idris.DSL (debindApp, desugar) where
1212
1313import Idris.AbsSyntax
1414import Idris.Core.TT