Expand 7.6

Open fpvandoorn opened this issue 9 years ago • 0 comments

Add how dependent pattern matching works for anonymous have expressions and show expressions (the inductive definition is called this).

Jul 03 '16 23:07 fpvandoorn