/AgdaIntro

being a place to keep moderately instructive literate Agda files

This repository is not active