[Agda] good CSS?

[Jason -Zhong Sheng- Hu]

Hi Phil,

thank you. I will check how to integrate PLFA's css into my html.

Thanks,
Jason Hu
https://hustmphrrr.github.io/
________________________________
From: Philip Wadler <wadler at inf.ed.ac.uk>
Sent: October 1, 2019 5:30 AM
To: Jason -Zhong Sheng- Hu <fdhzs2010 at hotmail.com>
Cc: agda at lists.chalmers.se <agda at lists.chalmers.se>
Subject: Re: [Agda] good CSS?

I think that PLFA looks pretty good.

  plfa.inf.ed.ac.uk<http://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<mailto: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/
_______________________________________________
Agda mailing list
Agda at lists.chalmers.se<mailto: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/20191003/e26f333e/attachment.html>