James Haydon

E.g. `{ foo = .bar, baz = }`. `/u/engstad` on Reddit suggested `.` which is quite nice because it melds with the projection/injection syntax.

Since all lines that aren't Lawvere code are deleted.

Field punning has been implemented but sometimes one still has to sequence several cones together when there are data dependencies. _Cone sequencing_ introduces semicolons in cones. When a semicolon is...

I have a question about the design of the extension system. Let me just take an example: The `vim` extension will call `addBottomStatus`, which makes it depend on a particular...

The pattern-expressions in a `match` are evaluated just like any other expression. Of course these could have effects (`def`s, mutations to refs, throwing of exceptions, I/O). At the moment all...

Public keys are not compact/pretty

1

It would be nice to have a nice representation of public keys since these will probably be used as user IDs. Unfortunately right now they look like this: ```clojure [:PublicKey...