.. |
alphalib
|
Keep only project-related files; reroot to project/
|
2017-12-19 13:35:04 +01:00 |
kremlin
|
Keep only project-related files; reroot to project/
|
2017-12-19 13:35:04 +01:00 |
prettify
|
Implement IfZero everywhere, untested
|
2018-02-16 00:43:44 +01:00 |
test
|
Keep only project-related files; reroot to project/
|
2017-12-19 13:35:04 +01:00 |
tests
|
Add test rec_factorial (computes 7!) -- fails
|
2018-02-16 01:09:21 +01:00 |
.merlin
|
Add human-readable pretty printer for Tail
|
2018-02-15 21:26:15 +01:00 |
_tags
|
Keep only project-related files; reroot to project/
|
2017-12-19 13:35:04 +01:00 |
Cook.ml
|
Add IfZero in the syntax + placeholders
|
2018-02-16 00:19:44 +01:00 |
Cook.mli
|
Keep only project-related files; reroot to project/
|
2017-12-19 13:35:04 +01:00 |
CPS.ml
|
Implement IfZero everywhere, untested
|
2018-02-16 00:43:44 +01:00 |
CPS.mli
|
Keep only project-related files; reroot to project/
|
2017-12-19 13:35:04 +01:00 |
Defun.ml
|
Implement IfZero everywhere, untested
|
2018-02-16 00:43:44 +01:00 |
Defun.mli
|
Keep only project-related files; reroot to project/
|
2017-12-19 13:35:04 +01:00 |
Error.ml
|
Keep only project-related files; reroot to project/
|
2017-12-19 13:35:04 +01:00 |
Error.mli
|
Keep only project-related files; reroot to project/
|
2017-12-19 13:35:04 +01:00 |
Finish.ml
|
Fix C code production, add ifzero basic test
|
2018-02-16 00:52:07 +01:00 |
Finish.mli
|
Keep only project-related files; reroot to project/
|
2017-12-19 13:35:04 +01:00 |
Lambda.ml
|
Add IfZero in the syntax + placeholders
|
2018-02-16 00:19:44 +01:00 |
Lexer.mll
|
Add IfZero construct to lexer + parser
|
2018-02-16 00:21:29 +01:00 |
Main.ml
|
Add option --light-debug
|
2018-02-15 22:19:14 +01:00 |
Makefile
|
Add human-readable pretty printer for Tail
|
2018-02-15 21:26:15 +01:00 |
Parser.mly
|
Add IfZero construct to lexer + parser
|
2018-02-16 00:21:29 +01:00 |
prologue.h
|
Keep only project-related files; reroot to project/
|
2017-12-19 13:35:04 +01:00 |
RawLambda.ml
|
Add IfZero in the syntax + placeholders
|
2018-02-16 00:19:44 +01:00 |
Tail.ml
|
Implement IfZero everywhere, untested
|
2018-02-16 00:43:44 +01:00 |
Top.ml
|
Add IfZero in the syntax + placeholders
|
2018-02-16 00:19:44 +01:00 |