So are Haskell and Idris (well, if you consider a singing dragon as a person).
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
replies:
So are Haskell and Idris (well, if you consider a singing dragon as a person).