issues
search
ilya-klyuchnikov
/
sll-meta-haskell
"Metacomputation and its Applications" implemented for SLL
6
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Export of graphs into aisee
#6
ilya-klyuchnikov
opened
10 years ago
2
Tests using hspec
#5
ilya-klyuchnikov
opened
10 years ago
0
simple tests
#3
ilya-klyuchnikov
closed
10 years ago
0
general URA (any answer, not only atoms)
#2
ilya-klyuchnikov
closed
10 years ago
1
Consider 'x for atoms (closer to scheme/racket/scala)
#1
ilya-klyuchnikov
opened
10 years ago
0