mlang icon indicating copy to clipboard operation
mlang copied to clipboard

Published 20 hours ago • verified publisher icon molikto

implement const_projections syntax

Open molikto opened this issue 5 years ago • 0 comments

search [issue 7] in code for background, or see this commit 1855e9218c7388ce1b4bf1f19d6679fcaea2324c

this issue only touch the parser and elaborator, don't touch the core

molikto avatar May 25 '19 13:05 molikto