Bhargav Kulkarni

Getting a "could not find `lexer` in `__lalrpop_util`"

10

I have been following the LALRPOP tutorial and just tried implementing the parenthesized numbers example. But whenever I try to run, I get this error message: ``` bhargav@bhargav-kk:/mnt/c/bhargav/Programming/Language-stuff/brim$ cargo run...

Displaying alectryon comments as lines in Emacs

1

In one of the alectryon demos, there was a screenshot of Emacs, where the `(*|` were replaced with horizontal lines. This seems nifty to have, not just for Coq, so...

The codex states that there should be two blocks of space between the stamper and base, but in game only one block of space is required

Unable to run `make lib`

3

I am trying to use the Coq files of the textbook, and ran into an issue when I ran `make lib`. ### Steps to reproduce: 1. Clone repository 2. Run...

This PR adds functionality and some more stats to the explanations algorithm: - [x] Adds a table showing explanations for each erroneous subexpression along with count - [x] Compares the...

No way to construct a SkM44

8

**Describe the bug** `SkM44` constructor takes no inputs. So I cannot construct 4x4 matrix to use in `canvas.concat` or `canvas.setMatrix`. The normal `Matrix` class is 3x3, but the Matrix state...