Commit f3e6a17

committed

adds an explicit definition of the algebraic syntax, and uses it in the translation of PP expressions/patterns

1 parent 5615dfa commit f3e6a17Copy full SHA for f3e6a17

1 file changed

+196

-48

lines changed

+196

-48

lines changed

Comments

(0)