Timothy Mou

Added a detector for contracts with boolean states to find "deactivation" patterns. Since this shared a lot of functionality with the previous enum detector, I moved a lot of the...

highlight.js occasionally does not highlight Haskell/Nix code blocks when editing

1

**Describe the bug** When editing a page with a Haskell/Nix/any non-default-highlight.js language code block, syntax highlighting will occasionally break. When this happens, the following warning is displayed in the browser...

Customize text input cursor icon

3

Is there a way to customize the text input cursor icon (the little teardrop cursor)? It seems like we can change the color using the `CURSOR_COLOR` theme variable, but I...

Issue with merging/rebuilding?

5

I believe I have found a bug related to egraph merging/rebuilding. It occurs in this test in `basic.ml`: ``` let%test "test" = let g = EGraph.init () in let c1...

Ch. 2.3: location of lake build outputs moved in 4.3.0

1

Please quote the text that is incorrect: > To build the package, run the command `lake build`. After a number of build commands scroll by, the resulting binary has been...