/Tiny-Semantics

Task for Semantics and Programs Verification course at MIMUW – denotational semantics of extended Tiny programming language in continuational style

Primary LanguageHaskell

Stargazers