emres / idris

Repository for Idris programming self-study

This repository contains the code for my self-study related to Idris and dependently typed programming. It is mostly based on Type-Driven Development with Idris.