Use higher order abstract syntax #100
Description
A lot of time is spent computing the application of substitutions on various terms. Part of the system could use higher order abstract syntax to make this compute quicker
{{ message }}
A lot of time is spent computing the application of substitutions on various terms. Part of the system could use higher order abstract syntax to make this compute quicker