Commit 9cd1872

committed

Use new given syntax

And add missing Context to Term_etaExpand

1 parent 6a33993 commit 9cd1872Copy full SHA for 9cd1872

2 files changed

+835

-835

lines changed

+835

-835

lines changed

Comments

(0)