8

https://arend-lang.github.io
Oh god oh fuck this is so neat

Comments
  • 1
    That website is soooo smooooooothhhh *drools*
  • 4
    what is this? i've read the intro text but it was just text with no meaning to me and that rarely happens 😄
  • 6
    @heyheni I have a lot of trouble following that, too. 😖
  • 2
    Ooh boi please let this be a replacement for Coq for me. Will check out, looks pretty damn cool.

    @Root I hadn't heard of cubical types either, looks interesting.
  • 1
    This is so goooood
Add Comment