search

bitonic / tog

25 stars 3 forks source link

Implement proper `Substitution`s... #6

Closed bitonic closed 9 years ago

bitonic commented 9 years ago

...and use them to represent meta-variables in context. This should greatly help sharing.

bitonic commented 9 years ago

Substitution is implemented, see #9 for the sharing part.