gottlobflegel

7 ms·

1. 1.▲
   by gottlobflegel 3mo ago

   How does notion manage to make this site, which is essentially just a static table, take several seconds to show any meaningful content?
2. 2.▲
   by gottlobflegel 4mo ago

   Listing Agda and Idris 2 under CIC makes your lambda hierarchy diagram misleading at best.
3. 3.▲
   by gottlobflegel 1y ago

   Makes me want to eat a sandwich.
4. 4.▲
   by gottlobflegel 1y ago

   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.
5. 5.▲
   by gottlobflegel 1y ago

   Sounds like the author would like qualified imports.
6. 6.▲
   by gottlobflegel 3y ago

   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 defin
7. 7.▲
   by gottlobflegel 3y ago

   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 prob
8. 8.▲
   by gottlobflegel 3y ago

   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"
9. 9.▲
   by gottlobflegel 4y ago

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