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

Ranter

Comments

1

endor

5655

5y

That website is soooo smooooooothhhh *drools*
4

heyheni

21183

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

79780

5y

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

RememberMe

14211

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

5758

5y

This is so goooood

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