/BigStep_SemanticAnalyser

BigStep Semantic Analyser written in haskell for Formal Semantics class

Primary LanguageHaskell

BigStep_SemanticAnalyser

BigStep Semantic Analyser written in haskell for Formal Semantics class