kframework/haskell-core-semantics Issues
Represent ADT constructors
Closed 1Execution of `ChurchBool.pkore`
Closed 2Set up some tests with `ktest`
Updated 1Concrete syntax for GHC Core
Closed 4Operational semantics in K
Updated 2Symbols in data constructors
Updated