git.iko.soy/Idris-dev
on master help sign in
Add export list to Idris.DSL
9bcb637Niklas Larsson
src/Idris/DSL.hs+1−1
compare with master
unifiedsplit
@@ -8,7 +8,7 @@ Maintainer : The Idris Community.
8
8
9{-# LANGUAGE PatternGuards #-}
9{-# LANGUAGE PatternGuards #-}
10
10
11−module Idris.DSL where
11+module Idris.DSL (debindApp, desugar) where
12
12
13import Idris.AbsSyntax
13import Idris.AbsSyntax
14import Idris.Core.TT
14import Idris.Core.TT