Jason Dagit

Results 30 issues of Jason Dagit

Raids were changed so that the viewer is now required to click to opt-out of the raid. This can be a problem, if for example, the stream is paused then...

enhancement
channel

I was trying to build a different project that depends on chez on a freebsd machine. My package manager has chez but for some reason threading is not enabled and...

### What happened? I tried to play 2 super metroid seeds "at the same time" using AP. I created a server using 2 yaml files. I connected SNI client using...

Preface: I imagine there needs to be some discussion and consensus reached about these changes. I find having a concrete PR to point at helps with the discussion. I was...

status: discussion
language: do-notation

Add an isabelle command like this: halicore_symbol "" "zlzdzg" The first parameter is the name as it appears in the Haskell program and the second parameter is the matching z...

- Alpha renaming should be a different step - zdecoding should be a different step - simplified pretty printing AST