gottlobflegel·เมื่อวาน·discussHow does notion manage to make this site, which is essentially just a static table, take several seconds to show any meaningful content?
gottlobflegel·28 วันที่ผ่านมา·discussListing Agda and Idris 2 under CIC makes your lambda hierarchy diagram misleading at best.
gottlobflegel·10 เดือนที่ผ่านมา·discussYou can just use an XSLT stylesheet like this: https://wwwcip.cs.fau.de/~oc45ujef/misc/src/atom.xsl xsltproc includes a handy --html flag that lets you just process the source file directly.