issues
search
VictorTaelin
/
abstract-algorithm
Optimal evaluator of λ-calculus terms.
264
stars
16
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Fix algorithm
#21
NaoEhSavio
closed
1 year ago
0
Version with unlink
#20
VictorTaelin
opened
4 years ago
0
unbound variable name 'Lam:' when run on windows
#19
lastmeta
opened
6 years ago
0
lambda-calculus.js incorrect / contradictory
#18
jasoncarr0
closed
6 years ago
0
Visualization of algorithm.
#17
Kesanov
opened
6 years ago
0
Is stratification too strict?
#16
lukaszlew
opened
6 years ago
1
Wrong result
#15
VictorTaelin
opened
6 years ago
7
Y combinator has INET normal form!
#14
Kesanov
opened
6 years ago
8
Nodes do not have to be mutually linked?
#13
Kesanov
closed
6 years ago
1
Improve memory allocation and deallocation strategy.
#12
Kesanov
opened
6 years ago
2
Could abstract algorithm use information from type system to improve evaluation?
#11
Kesanov
opened
6 years ago
8
Name refactoring, duplication rule, --dump.
#10
Kesanov
closed
6 years ago
10
Make parser work with \r\n line endings (for windows...)
#9
Kesanov
closed
6 years ago
1
Add support for \r\n and fix List.fold.
#8
Kesanov
closed
6 years ago
3
Is it possible to expand AL to include low level commands?
#7
Kesanov
closed
6 years ago
2
What is `kind` and `meta`?
#6
Kesanov
closed
6 years ago
1
Readme shows different rules than actual implementation.
#5
Kesanov
closed
6 years ago
2
Remove "--harmony-tailcalls" flag from main.js
#4
leonardostsouza
closed
6 years ago
0
Optimizations to C Algorithm
#3
leonardohn
closed
6 years ago
1
Optimized C algorithm
#2
leonardohn
closed
7 years ago
0
The image from readme is broken.
#1
Heimdell
closed
5 years ago
3