GitHub - Ekdohibs/partial: My attempt at coding a partial evaluator. Written for TIPE in "classes prépa". · GitHub

Name		Name	Last commit message	Last commit date
compiler		compiler
constants.py		constants.py
design.txt		design.txt
dossier.tex		dossier.tex
env.py		env.py
eval.py		eval.py
fib.l		fib.l
fiche_synoptique.txt		fiche_synoptique.txt
graphs.py		graphs.py
metaeval.l		metaeval.l
parser.py		parser.py
partial2.py		partial2.py
pretty_printer.py		pretty_printer.py
slides-ens.tex		slides-ens.tex
slides.tex		slides.tex
test.sh		test.sh
test_rec.l		test_rec.l

About

My attempt at coding a partial evaluator. Written for TIPE in "classes prépa".

partial-evaluators

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages