YAS directory languages/BIPL/Haskell/Language/BIPL/MonadicAlgebra
GitHub
https://github.com/softlang/yas/tree/master/languages/BIPL/Haskell/Language/BIPL/MonadicAlgebra
Properties
Components
- languages/BIPL/Haskell/Language/BIPL/MonadicAlgebra/Interpretation.hs (Functional program)
- languages/BIPL/Haskell/Language/BIPL/MonadicAlgebra/Scheme.hs (Functional program)
- languages/BIPL/Haskell/Language/BIPL/MonadicAlgebra/Signature.hs (Functional program)
- languages/BIPL/Haskell/Language/BIPL/MonadicAlgebra/TypeChecker.hs (Functional program)
- languages/BIPL/Haskell/Language/BIPL/MonadicAlgebra/.hinzu (Annotation)