1
1
------------------------------------------------------------------------
2
4
-- An example of how Data.Fin.Substitution can be used: a definition
3
5
-- of substitution for the untyped λ-calculus, along with some lemmas
4
6
------------------------------------------------------------------------