chrismwendt combinator-calculus issues - Githubissues

chrismwendt / combinator-calculus

SK combinatory logic interpreter written in Haskell

1 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Perform reverse mapping from SK to definitions

#10 chrismwendt opened 10 years ago
0
Add an option to compile and optimize

#9 chrismwendt opened 10 years ago
0
Allow function definitions

#8 chrismwendt opened 10 years ago
1
Change the internal representation of combinatory terms

#7 chrismwendt closed 10 years ago
0
Indicate precedence by either parentheses or some apply symbol

#6 chrismwendt closed 10 years ago
1
Optimize evaluation by explicitly representing known constructs

#5 chrismwendt closed 9 years ago
0
Add alias functionality

#4 chrismwendt opened 10 years ago
0
Remove special termination criteria

#3 chrismwendt closed 10 years ago
0
Assume left-associativity and omit superfluous parentheses

#2 chrismwendt closed 10 years ago
1
Replace Show instance with a print function

#1 chrismwendt closed 10 years ago
0