lug-idris

A LUG talk about Idris, a general purpose language with dependent types.

Topics Covered

• Overview of Idris
• Dependent Types
• Basic Idris Syntax
• Using Idris as a Proof Assistant

Repo Organization

• lug-idris.rst - the reStructuredText source of this presentation
• out/*.pdf - the rendered presentation for various aspect ratios
• demo - the files used to demonstrate Idris

Authors/Presenters

• Sumner Evans
• Sam Sartor