Please enable JavaScript in your browser!
Home
Verkennen
Help
Inloggen
rain1
/
term-rewrite-system
Volgen
1
Ster
0
Vork
0
Bestanden
Kwesties
0
Pull-aanvragen
0
Wiki
Aftakking:
master
Aftakkingen
Labels
master
term-rewrite...
/
tests
rain1
4287b3f7e2
added another test
8 jaren geleden
..
Makefile
f6cab16f05
tidied the code and added more peano tests.
8 jaren geleden
arith-2.scm
ddbc2098de
added more tests
8 jaren geleden
free-group.scm
4287b3f7e2
added another test
8 jaren geleden
klop.scm
1f72ae65be
combinator logic
8 jaren geleden
logic-1.scm
fc566f5f88
term rewrite system based on a pattern matching backend
8 jaren geleden
peano.scm
f6cab16f05
tidied the code and added more peano tests.
8 jaren geleden