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.
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.