arend-lib icon indicating copy to clipboard operation
arend-lib copied to clipboard

Published 20 hours ago • verified publisher icon JetBrains

Use partially applied syntax extensively

Open ice1000 opened this issue 4 years ago • 1 comments

This is just a show-case of the feature. It's not like I want to merge this -- this is for review & reference only.

ice1000 avatar Mar 31 '20 16:03 ice1000

Rebased on master

ice1000 avatar Apr 24 '20 18:04 ice1000