By: Liam O'Connor-Davis  

Tags: Functional programming   Agda  

Read online