Skip to content
Snippets Groups Projects
user avatar
SimonGuilloud authored
Implementation of lambda terms and formulas to represent substitution better. Cleaned up and reorganised substitutions.
Making everything recompile is on its way
e5975116
History
Name Last commit Last update
..