This is the supposedly-bimonthly-but-we-missed-April-and-June-2013 'What are you working On?' thread. Previous threads are here. So here's the question:
What are you working on?
Here are some guidelines:
Focus on projects that you have recently made progress on, not projects that you're thinking about doing but haven't started.
Why this project and not others? Mention reasons why you're doing the project and/or why others should contribute to your project (if applicable).
Talk about your goals for the project.
Any kind of project is fair game: personal improvement, research project, art project, whatever.
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.
This is the supposedly-bimonthly-but-we-missed-April-and-June-2013 'What are you working On?' thread. Previous threads are here. So here's the question:
What are you working on?
Here are some guidelines: