ghc icon indicating copy to clipboard operation
ghc copied to clipboard
verified publisher icon tweag

Proper implementation of `Arrow` syntax

Open aspiwack opened this issue 7 years ago • 0 comments

The Arrow syntax type checking is full of dubious Omegas.

It may be the right thing to do (even though we may also consider #11). But it needs to be pondered properly.

aspiwack avatar Jul 06 '18 08:07 aspiwack