agda-stdlib Solarized dark

Added by mudri@userstyles, Created: Dec 21, 2015, Updated: Dec 21, 2015
With the style applied

Description:

Save your eyes when looking at Agda documentation!

More info

Installs:
Applies to:
https://agda.github.io/agda-stdlib/

Related styles:

WARNING: This webware is not functioning properly. Please enable javascript in your browser and try again.