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

Ranter

Comments

1

endor

5751

5y

That website is soooo smooooooothhhh *drools*
4

heyheni

21388

5y

what is this? i've read the intro text but it was just text with no meaning to me and that rarely happens 😄
6

Root

82557

5y

@heyheni I have a lot of trouble following that, too. 😖
2

RememberMe

14725

5y

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

gitlog

6206

5y

This is so goooood

devRant © 2021 Hexical Labs LLC
Privacy Policy | Terms of Service