Paul Chiusano

Error message says "vector" instead of "list"

1

That should say "elements of a list"

Make sure it's possible to catch all exceptions

5

We want to be able to implement `bracket` and `finally`. There's exceptions in pure code, due to calling `bug` or `todo` or an incomplete pattern match, and then also async...

Simple install scripts

2

This PR just adds two scripts, `linux-install.sh` and `mac-install.sh` which literally just downloads the release and unzips it to a directory, so it's almost the kind of thing you could...

### Pitch Here's a sample of what I get in Twitter if I view a list of people followed by another user: I can click on 'Follow' (it doesn't take...

When using the `test` command, if the results aren't cached (say, because you've just done an `update`), you get this: https://github.com/unisonweb/unison/assets/11074/2773700e-2a19-4e7b-b329-8df429f11bcf I think it's trying to keep overwriting the same...

Support pluggable syntax for Unison

25

Unison's syntax is just used for parsing and pretty-printing of definitions, but the actual definitions are stored in the codebase as their AST. This means we could support multiple syntaxes...

``` foo = do Nat.shiftRight 1 maxNat bar = do !foo baz = do !bar qux = do !baz > !qux ``` This just produces: ``` Now evaluating any watch...

diff.namespace produces malformed numbered args and `view` doesn't work for full hashes

10

The history browsing experience has never been great, but it could be improved to "functional" with these fixes - ``` @unison/json/main> history Note: The most recent namespace hash is immediately...

So check this out, I'm looking at the top level `Buffer` type within the distributed library, but have no easy way to browse all the definitions under the top level...

A few possible suggestions on how to structure the paper

2

Hi @conal, I am a big fan of your AD work. I had some ideas on how you could structure the paper that you might find useful: 1. Quick summary...