Timo Carlin-Burns comments

Results 88 comments of


                                            Timo Carlin-Burns

In-game hypo inconsistent unknown cards.

Read the original post again. I think you've got it wrong. > - Any drawn card that you've seen in the present game will have the "blank" back > -...

refactor: clean up public API around `Array.eraseIdx`

awaiting-review

Automatically generate the MM0 file from the MM1 file

I think it's valuable to maintain separate `.mm0` and `.mm1` files, but I don't like the duplication between them. (All the axioms, sorts, terms, and public definitions have to be...

Make errors on Arch

Part of the issue seems to be that Arch doesn't install Netcat by default. After installing Netcat `make test` just hangs after: ``` ./ceptr_specs Running all tests... ```

Vertically center title in header

Thanks for putting the effort into these three PRs. Sorry for leaving you hanging, they were not on the team's radar. I don't think the cosmetics of this UI are...

feat: fill in proof of Array.erase_data

I thought it was a bit ugly that this PR had to unfold morally private definitions from core like `eraseIdxAux` so I made a PR which would allow us to...

fix: handle dependent fields when `deriving BEq`

One downside of this derive handler is that the code it produces using `Eq.rec` sometimes can't be reduced by the kernel, while a hand-written implementation might use easier to reduce...

Allow /copy to work with an empty hypothetical

I believe the motivation for this warning is because you might be trying to copy a whole replay but you didn't realize you needed to skip to the end first....