MiniAgda
Safe HaskellNone
LanguageHaskell98

License

Documentation