Safe Haskell | None |
---|
Documentation
replaceSplits :: String -> [[(Name, PTerm)]] -> Idris [String]Source
nameMissing :: [PTerm] -> Idris [PTerm]Source
Safe Haskell | None |
---|
replaceSplits :: String -> [[(Name, PTerm)]] -> Idris [String]Source
nameMissing :: [PTerm] -> Idris [PTerm]Source