[Agda] good CSS?

[Philip Wadler]

I think that PLFA looks pretty good.

  plfa.inf.ed.ac.uk

All the relevant tools were assembled by Wen Kokke. Cheers, -- P

.   \ Philip Wadler, Professor of Theoretical Computer Science,
.   /\ School of Informatics, University of Edinburgh
.  /  \ and Senior Research Fellow, IOHK
. http://homepages.inf.ed.ac.uk/wadler/



On Sat, 28 Sep 2019 at 19:49, Jason -Zhong Sheng- Hu <fdhzs2010 at hotmail.com>
wrote:

> Hi all,
>
> I am wondering if anyone has developed good CSS and javascript that makes
> generated html look beautiful?
>
> *Thanks,*
> *Jason Hu*
> *https://hustmphrrr.github.io/ <https://hustmphrrr.github.io/>*
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20191001/3fa68273/attachment.html>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: not available
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20191001/3fa68273/attachment.ksh>