This was my first attempt to define a programming language using the K Semantic Framework. The OCaml semantics and LLVM semantics projects were more successful.
-
Notifications
You must be signed in to change notification settings - Fork 0
davidlazar/haskell-semantics
About
Formal semantics of Haskell in K
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published