Jon Sterling
Jon Sterling
**Problem details** > Conversion to HTML had a Fatal error and exited abruptly. This document may be truncated or damaged. **Desktop (please complete the following information)** - OS: macOS -...
**Problem details** > Conversion to HTML had a Fatal error and exited abruptly. This document may be truncated or damaged. It sounds like `newpxtext` and `newpxmath` are not supported. **Desktop...
**Problem details** > Conversion to HTML had a Fatal error and exited abruptly. This document may be truncated or damaged. **Desktop (please complete the following information)** - OS: macOS -...
Resolves #13
Try the following code: ``` def _ : univ := ? ``` The result is some error: ``` dune exec algaett test.ag Fatal error: exception Invalid_argument("app_ulvl") Raised at Stdlib__Effect.Deep.try_with.(fun) in...
Right now, constructing and deconstructing ABTs is very expensive; there is basically no way to really optimize the ABT interface (this was the conclusion of Tom 7 many years ago),...
The error messages that are emitted from this library are simply impossible to debug. James has made progress by adding a `BadMetasubst` exception, which is good; we should go even...
The rust-style issue triage labels are really nice and helpful, and I've liked how they turned out in Yggdrasil and RedPRL. We should use those here too.
let's add a new constructor for explicit substitutions! And we can also add some operations to wring out the substitutions. @freebroccolo