| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
|
| |
jumps to GHC2021 as default language, adds in some fields, moves the old
org mode glossary to markdown, etc.
|
| |
|
| |
|
|
|
|
|
|
| |
this is unfortunately uffd-specific, since oauth2 is apparently sort of
a vague standard. But since it doesn't actually do much it should
probably be possible to make it fully configurable & generic if needed.
|
|
|
|
|
| |
works kinda well, but doesn't complain about unknown config values in
json, which is kinda hmpf tbh
|
| |
|
|
|
|
|
|
| |
(this is commented out in the cabal file, since unfortunately the
servant-js package is broken in nixpkgs and therefore otherwise breaks
the nix build process … but it can be used "by hand")
|
|
|
|
|
|
| |
(and they can be useful, too!)
Also, documentation & deleting imports / extensions that aren't used.
|
|
|
|
|
|
| |
(at least for a few simple things)
Also, more modules!
|
|
|
|
| |
lots of lenses in this stuff :(
|
|
|
|
|
|
|
| |
unfortunately doesn't quite get rid of all the type family still
since it's just too useful … but does reduce it somewhat.
Also, maps are much easier for looking things up than vectors!
|
| |
|
|
|