zapashcanon 39869f551a

update to latest owi, fmt

2024-09-15 14:39:06 +02:00

..

article.tex

remove old interpreter, update latex

2023-06-02 21:58:47 +02:00

bib.bib

first commit

2023-03-14 16:58:36 +01:00

bisect.exclude

proper cram test with coverage

2023-06-03 14:59:51 +02:00

dune

to_wasm draft

2023-06-07 02:39:55 +02:00

flambda.ml

update to latest owi, fmt

2024-09-15 14:39:06 +02:00

interpret.ml

update to latest owi, fmt

2024-09-15 14:39:06 +02:00

lexer.ml

complete the fuzzer

2023-06-05 01:39:00 +02:00

main.tex

first commit

2023-03-14 16:58:36 +01:00

menhir_parser.mly

complete the fuzzer

2023-06-05 01:39:00 +02:00

packages.tex

stuff

2023-06-01 18:48:49 +02:00

parse.ml

add parser

2023-03-21 19:40:43 +01:00

pp.ml

check for equality of the reparsed term in the fuzzer

2023-06-06 16:25:30 +02:00

to_wasm.ml

update to latest owi, fmt

2024-09-15 14:39:06 +02:00

types.ml

check for equality of the reparsed term in the fuzzer

2023-06-06 16:25:30 +02:00