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

Ekdohibs / partial Public

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

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
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