Add `⋮` declarations for val definitions - #83

Closed

AlexKnauth wants to merge 4 commits into

lexi-lambda:masterfrom

AlexKnauth:id-decl2

Commits on Jun 27, 2018

Add `⋮` declarations for val definitions
AlexKnauth
committed
ca30c7c
Add tests for `⋮` declarations
AlexKnauth
committed
dc8a269

Commits on Jun 28, 2018

Merge branch 'master' into id-decl2
AlexKnauth
authored
07011f5
id-decl: if x- is already defined, it's a new definition
AlexKnauth
committed
543f0e6