Related styles:
-
JPA chat Solarized
Installs:Created: Jan 30, 2016Last Updated: Jun 28, 2016 -
Created: Apr 14, 2015Last Updated: Apr 15, 2015 -
Created: Apr 09, 2015Last Updated: Apr 09, 2015 -
Created: May 24, 2016Last Updated: Dec 20, 2016 -
Created: Sep 18, 2010Last Updated: Apr 26, 2017 -
Created: Sep 19, 2015Last Updated: Jun 25, 2016 -
Created: Dec 23, 2014Last Updated: Sep 03, 2015 -
Created: Apr 22, 2017Last Updated: Apr 24, 2017 -
Created: Apr 30, 2016Last Updated: Apr 05, 2017
agda-stdlib Solarized dark
Description:
More info
First install FreeStyler to use this style.
If you already installed it, please, make sure this site is allowed to run JavaScript.But you can download Freestyler for other browsers and apply styles there!
Applies to:
https://agda.github.io/agda-stdlib/