Skip to content

Add core-def form for annotated definitions#86

Open
AlexKnauth wants to merge 1 commit intolexi-lambda:masterfrom
macrotypefunctors:core-def
Open

Add core-def form for annotated definitions#86
AlexKnauth wants to merge 1 commit intolexi-lambda:masterfrom
macrotypefunctors:core-def

Commits

Commits on Jul 2, 2018