ajhc-0.8.0.7: Haskell compiler that produce binary through C language
FindFixpoint
data Ms b c Source
Instances
getVal :: Int -> Ms b bSource
solve :: Eq b => Maybe String -> b -> [Ms b b] -> IO [b]Source