Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
mappyNat :: Int -> Map Expression Expression -> Expression Source
defsToLambda :: [Definition] -> Expression -> Expression Source
Safe Haskell | None |
---|---|
Language | Haskell2010 |
mappyNat :: Int -> Map Expression Expression -> Expression Source
defsToLambda :: [Definition] -> Expression -> Expression Source