dolio

> I'm thinking we could use a more descriptive name and stick it in `libexec` if nobody needs to call it. Any suggestion on the name? I guess it could...

`racoErrMsg` shows up when you run `compile.native` and racket isn't installed. You need racket to compile standalone executables right now.

Okay, I think the tests in `@aryairani/jit-tests` should pass with this branch. I also added `compiler.generateSchemeBoot` to `@unison/internal` in the new release `0.0.11` that this depends on. I think you...

There _is_ a weaker notion of surjectivity in plain MLTT. It is "epic" from category theory: ```agda Epic f = ∀{l} {C : Set l} (g h : B ->...

The issue, I think, is that this defines what it means for MLTT functions to be surjective as, "satisfies the definition of surjectivity stated in the theory of setoids and...

The paper says the new join point handling makes it so that recursive stepper functions are no longer a problem. So `Skip` is no longer needed. However, making this change...

The one way I can think of to accelerate this kind of thing is to decouple the fusion from vectors. Have modules that provide plain vectors, and other modules that...

I think it's fine to have bit packed arrays of booleans in primitive. However, if you're looking for a more fleshed out bit-vector-specific API, I don't think that's really what...

Here's another issue that comes up here. I cooked up a way to 'decompile' byte arrays using a fake builtin, so that I could see what was going on with...

I tried this out. The game saves a character file, but having the file around causes a crash when you go to create a new game. So it requires work...