bin
|
2016-02-28
|
alf42red
|
[659ada]
gcd divide and conquer
|
data
|
2016-03-10
|
alf42red
|
[82e7e2]
Deletion of unnecessary files.
|
doc
|
2014-05-07
|
hellerar
|
[ccecf9]
Cleaned up the source directory and improved th...
|
lprolog
|
2013-10-30
|
hellerar
|
[ca0ac2]
stlc2java
|
src
|
2019-11-16
|
Armin Heller
|
[292c99]
Add CRUD procedures for grammar and transformat...
|
.depend
|
2018-05-28
|
alf42red
|
[86c643]
Implement a translation showcase
|
.depend.teyjus
|
2014-07-22
|
hellerar
|
[cf23e1]
redefining modules with different design decisions
|
Lambda_prolog.html
|
2019-04-09
|
alf42red
|
[d9dc3e]
add syntax for "all" quantifier
|
Makefile
|
2019-01-19
|
alf42red
|
[590f36]
Build lambda prolog with a current version of dune
|
Parser.html
|
2015-04-16
|
alf42red
|
[5044e1]
web version of the Earley parser/printer with s...
|
gpl.txt
|
2013-10-16
|
hellerar
|
[830177]
boring README
|
grammar_spec.txt
|
2016-08-30
|
alf42red
|
[8c959b]
Cleaned up some stuff.
|
index.html
|
2019-04-09
|
alf42red
|
[d9dc3e]
add syntax for "all" quantifier
|
index_1.html
|
2015-04-12
|
alf42red
|
[82e80e]
improved the interface of the educational vm
|
lexer_spec.txt
|
2016-08-11
|
alf42red
|
[8fb596]
informal specification of the lexers
|
note_cards.sh
|
2015-02-18
|
hellerar
|
[18841c]
logic flashcards experiment
|
stylesheet.css
|
2019-04-09
|
alf42red
|
[d9dc3e]
add syntax for "all" quantifier
|
types_spec.txt
|
2016-08-30
|
alf42red
|
[8c959b]
Cleaned up some stuff.
|