Giters
kframework
/
haskell-core-semantics
Haskell's Core in K.
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
20
Watchers:
7
Issues:
8
Forks:
0
kframework/haskell-core-semantics Issues
Add primitive equality using K `Bool`s
Updated
7 years ago
Comments count
2
Represent ADT constructors
Closed
7 years ago
Comments count
1
Execution of `ChurchBool.pkore`
Closed
7 years ago
Comments count
2
Set up some tests with `ktest`
Updated
7 years ago
Comments count
1
Concrete syntax for GHC Core
Closed
7 years ago
Comments count
4
Operational semantics in K
Updated
7 years ago
Comments count
2
Symbols in data constructors
Updated
7 years ago
Flag for leaving out type information
Closed
7 years ago
Comments count
1