jlimperg/agda-stdlib repository overview

This image contains the programming language Agda and its standard library (agda-stdlib).

Source: https://github.com/JLimperg/docker-agda-stdlib⁠