docker-agda-stdlib Container descriptions for the Docker image jlimperg/agda-stdlib. The image contains Agda and the Agda standard library. Version numbers follow the scheme <agda-version>_<stdlib-version>