Safe Haskell | None |
---|---|
Language | Haskell98 |
Idris.DSL
Documentation
debindApp :: SyntaxInfo -> PTerm -> PTerm Source
idris-0.9.14.3: Functional Programming Language with Dependent Types
Safe Haskell | None |
---|---|
Language | Haskell98 |
Idris.DSL
debindApp :: SyntaxInfo -> PTerm -> PTerm Source