issues
search
kframework
/
haskell-core-semantics
Haskell's Core in K.
Other
20
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add primitive equality using K `Bool`s
#10
ayberkt
opened
7 years ago
2
Represent ADT constructors
#9
ayberkt
closed
7 years ago
1
Adapt tests to the `--strip-result` flag
#8
ayberkt
closed
7 years ago
0
Execution of `ChurchBool.pkore`
#7
ayberkt
closed
7 years ago
2
Sample program `ChurchBool.pkore`
#6
ayberkt
closed
7 years ago
0
Set up some tests with `ktest`
#5
ayberkt
opened
7 years ago
1
Operational semantics in K
#4
ayberkt
opened
7 years ago
2
Symbols in data constructors
#3
ayberkt
opened
7 years ago
0
Flag for leaving out type information
#2
ayberkt
closed
7 years ago
1
Concrete syntax for GHC Core
#1
ayberkt
closed
7 years ago
4