Hiromi Ishii

- [ ] Force normal form and reduce `isZero` invocation - [ ] New list-based polynomial representation - [ ] New heap-based polynomial representation - [ ] Benchmarks

Succinct prime field representation for small `p`

3

Currently, a prime field `F p` is represented by `Integer`; but we can use `Int` instead for *small enough* prime `p`s. This branch implements a type-level hack to allow such...

This branch and pull-request track the implementation and debugging of [M4GB] algorithm, which seems unworking in the current implementation. [M4GB]: https://dl.acm.org/doi/abs/10.1145/3087604.3087638

If the different versions of dependent package are installed both globally and in sandbox and global version is newer than sandboxed one, then `cab ghci` loads global one instead of...

Newline (\\) eats non-size argument surrounded by brackets

5

The following code is valid in LaTeX language, but KaTeX interprets `[b]` to be size specification for `\\` and throws error: ```latex \begin{gathered} a \\ [b] \end{gathered} ``` The same...

Implements `string-compare`

2

Implemented `string-compare` primitive, which corresponds to the OCaml's `String.compare` function: `string-compare l r` returns `0` if they are equal, negative value if `l` is strictly smaller (w.r.t. lex-ordering) than `r`,...

Nested partial application of polymorphic functions results in Stack Overflow at compile time

4

If we nest the partial applications of a polymorphic function and expose at least two of them, then compilation fails with stack overflow. For example, consider the following. `crasher.satyh`: ```ml...

Custom Tactic Block won't work with GHC 9.0

2

### Your environment Which OS do you use: macOS Monterey 12.4 Which LSP client (editor/plugin) do you use: VSCode 1.67.2 GHC: 9.0.2 Describe your project (alternative: link to the project):...

Conditionally built module are not loaded if Cabal disables them and stack.yaml reenables them with stack (revisit after commercialhaskell/stack#5480)

5

### Summary If some modules are conditionally built depending on flags, and the flag is off by default, then even if one explicitly enable that flag in corresponding `stack.yaml` used...

Can't input more than a character on Safari

5

On Safari 12.1, one cannot input more than one character for each label, and text mouse-cursor doesn't appear at all. ## How To Reproduce 1. Open the [official demo page](https://tikzcd.yichuanshen.de/)....