TomasMikula/libretto

Closure syntax tutorial

TomasMikula opened this issue · 0 comments

TomasMikula commented

Λ { a => ... } : $[A =⚬ B]