We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Finished logs for my part
Updated Idris Developers Meeting, Nov 2013 (markdown)
matus' work on friday
matus' work on thursday
matus' work ond wednesday
Fixed headings
Added progress statement.
ziman's tuesday work update
Added Monday activity for Jan.
matus' work on monday
more ideas