Max S. New

The number one thing I need right now is how elim works. I haven't been able to write any recursive functions so far because I just get a type error...

Helps but it doesn't describe what how the types for the clauses of the elim form are generated. Are all of the inductive cases at the end or are they...

Also that's just a really simple example. Like when I have a `(List A)` do I use `(elim List ...)` or `(elim (List A) ...`?

[This paper](https://tqft.net/other-papers/Geometry%20of%20Tensor%20Calculus%20-%20Joyal%20&%20Street.pdf) is the original string diagrams paper where they establish that any topological deformation of a diagram represents the same morphism in a Monoidal category. To do this they...

https://youtu.be/STcjY-Ssicc?t=1m48s

The only way I know to do this (make a "pure" signal) is to have a `foldp`/`automaton` running one test at each step and then have that run on a...

@deadfoxygrandpa I need to take a closer and test it out a bit but that looks pretty good. Do you think we should distinguish between failed and errored tests? I'm...

In implementing this change and trying it out I now see that printing to `/dev/stdout` would only really work if we add a `--silent` option that suppresses other printing to...

Just made a lot of progress on this today. It involved some restructuring like I said, but now the command parser is imminently tested/testable: https://github.com/evancz/elm-repl/blob/ec1268b70ba93bf642701c211b1dfb8c10ef0945/tests/Main.hs. Next I'm going to integrate...

I'm on vacation so I won't be able to look for about a week and a half On Mon, May 2, 2022, 4:20 PM Jacques Carette ***@***.***> wrote: > @maxsnew...