markfarrell / idris-seminar

An introduction to dependently typed functional programming in Idris.

This repository is not active

About

An introduction to dependently typed functional programming in Idris.

Languages

Language:TeX 73.0%Language:Idris 26.6%Language:Shell 0.5%