Experimental proof assistant (and architecture) for dependent linear logic
Why do you think that https://github.com/haskell-hvr/cassava is a good alternative to unfix-binders
Experimental proof assistant (and architecture) for dependent linear logic
Why do you think that https://github.com/haskell-hvr/cassava is a good alternative to unfix-binders