GitHub repository: walkie/IdrisDemo
Primary language: Idris
Description: A brief example-based introduction to Idris.