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 directly.

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 not terribly obvious nor well documented (though they definitely exist!).

Sometimes I think that I keep using nix only because of sunken cost fallacy and I should just switch to guix...

Notice from the definition of `Term`

enum Term { Bool(bool), Not(Box<Term>), ... }

that your code simply does not typecheck. `Not` expects a `Box<Term>`, not a `Value`.

It's also worth noting that one would probably want to consider something like

Not(Not(Bool(true)))

a valid term, which your implementation wouldn't.

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.