You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

Fhyve comments on What are you working on? July 2013 - Less Wrong Discussion

8 Post author: David_Gerard 02 July 2013 04:39PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Article Navigation

Comments (100)
Tags: community waywo

Comments (100)

You are viewing a single comment's thread. Show more comments above.

Comment author: Fhyve 03 July 2013 07:07:51AM 0 points [-]

Why Haskell and not Coq or Agda? That's where all the HoTT stuff is being done anyways.

Comment author: Qiaochu_Yuan 03 July 2013 08:55:05AM 0 points [-]

Good point. I know some nice Haskell tutorials and haven't looked around to see if there are comparably nice Coq tutorials, but I guess it's worth looking.

Comment author: Fhyve 03 July 2013 09:38:21AM *  1 point [-]

Tutorials/texts that I know of are Software Foundations, Andrej Bauer's tutorial, and this Hott-Coq tutorial. It looks like installing the HoTT library is a huge pain in the arse though so I think I'll stick with vanilla Coq until either I get one of my CS friend to install it for me, or they make a more user friendly install.

Edit: also this

Powered by Reddit Powered by Reddit