agda-based experimentation following wadler and 'learn you an agda'
Primary LanguageAgda
This repository is not active