Viewing profile — gottlobflegel

How does notion manage to make this site, which is essentially just a static table, take several seconds to show any meaningful content?

Listing Agda and Idris 2 under CIC makes your lambda hierarchy diagram misleading at best.

Makes me want to eat a sandwich.

You 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…

Sounds like the author would like qualified imports.

I tend to agree with most of this. Flakes still being an experimental feature in particular seems to discourage newcomers from adoption. Especially since the benefits of flakes are…

Notice from the definition of `Term` enum Term { Bool(bool), Not(Box ), ... } that your code simply does not typecheck. `Not` expects a `Box `, not a `Value`. It's also worth notin…

I really find it interesting that some people consider working with xml such a pain that they develop a whole new standard with the sole raison d'être being "It's not xml"

> This is realllly unidiomatic in real world Haskell. Yet it is the actual behaviour in the stdlib Prelude.