Sandy Maguire
Sandy Maguire
Back out the following commits cab7c31130fd0d2aec2b54003e374da3271fd98f c5acf5fb045c9bd3735ae49c4db722ce00ca9714
Actors will move to their location even when their animation isn't walking. This needs to be fixed, but will require some collaboration from the artists to do properly. My intuition...
bad bad bad
Right now confluence laws will generate things like `[a] = pure a`, which just waste test cycles. We can refine the tests by ensuring that at least one function or...
It should only emit type sigs that have a corresponding mu binding
The following fails to typecheck: ```haskell type System w μ System w = Id -> Maybe w type Id μ Id = Int delEntity :: Id -> System w ->...
If you don't add any `mu` mappings, you get a big chain of TH errors: ``` • The type signature for ‘delEntity’ lacks an accompanying binding (The type signature must...
Right now it won't compile if you don't explicitly depend on `template-haskell`. boo
```haskell do law "mempty/Just" $ mempty == Just (Any True) law "mempty/Just" $ mempty @(Maybe Any) == Nothing ``` ==> ``` • Nothing == Just (Any True) @(Maybe Any) (implied...
