Joe Politz
Joe Politz
This is a super-cool project, thanks for having instructions for setting up the bucklescript bundle, it's super-helpful. I tried following the "hardcore" build instructions and got stuck pretty quickly when...
``` fun insert(e :: T, l :: List) -> List: cases (List) l: | empty => [list: e] | link(f, r) => if e < f: link(e, l) else: link(f,...
We should link to the docs pages for various curricular stuff, like relevant parts of DCIC or Bootstrap resources. See, for example, https://groups.google.com/g/pyret-discuss/c/owd5rJnEKrQ/m/xnza9AI-BQAJ?utm_medium=email&utm_source=footer&pli=1, where someone couldn't find the relevant iteration...
Both of these programs (with `rec` or `letrec`) cause an internal error.   ``` rec n :: Number%(is-zero) = 10 rec is-zero = lam(x): x == 0 end letrec...
This program doesn't report an error: ``` type O = { x :: Number, x :: Number } ``` but it should. The related value has a well-formedness error: ```...
In CPO, the `use context` line is grayed out and requires extra interaction to edit. @schanzer and I talked today and proposed that we have a convention that the _first_...
- [ ] pyret-lang needs a settled interface for lazy collections - [ ] Expander options (all vs. some) for collections - [ ] All need design for _lazy_ tables...
We should hide the `import` code here behind a dropdown/hidden thing. Most users don't use it (only power users like advanced students, teachers who write curricula, etc need it, and...
In the dialog for publish, it says to click a button called "Close", but the button is actually labelled “Cancel”
In CPO, when a shared file opens, various bad things can happen that could lose work. For example, the user's computer or browser could crash, a data structures student could...