A Super Kawaii Dependently Typed Programming Language
Why do you think that https://github.com/adtac/relevant-xkcd is a good alternative to ditto
A Super Kawaii Dependently Typed Programming Language
Why do you think that https://github.com/adtac/relevant-xkcd is a good alternative to ditto