miniblog.

It's perhaps appropriate that a programming language database has its own syntax for entries! https://github.com/breck7/pldb/commit/bde872b5b8e1cf9fb3114c1fbf3c40e405b5388d It looks like a simplified YAML I think.

Idle thought: you can view a type system as just an abstract interpretation of code. `x = 1` can be abstracted as assuming that x is a number, then checking that numbers are appropriate wherever x is used.

In addition to 'url options, Emacs has 'url-hairy. Seems appropriate.