Jan 1

New tutorial

Uncategorized Add Comment (0)

A new tutorial is now available, describing the soon-to-be-released Idris version 0.9.