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