Skip to content
Commit 70f86081 authored by Stefan's avatar Stefan
Browse files

* src/subst.ml (compose): Simplify 

(Shift): Switch argument order to better match the notation.
(lookup): Rename from `apply`.
parent de90e983
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment