Eduardo Sandalo Porto

Hi, I'm trying to use `latex-formulae-hakyll` with GHC 9.2.8 on LTS 20.26, but I'm getting the following `stack` build errors: ``` Error: [S-4804] Stack failed to construct a build plan....

This PR adds automatic generation of ADT constructors that could not be found by the book loading system. Two points of discussion remain: 1. If an ADT does not type...

This allows the resulting nets to be read back directly from Rust, without requiring each implementation to print it's networks in error-prone ways. TODO: The CUDA version is still quite...

Eraser nodes being placed where they shouldn't

7

### Reproducing the behavior As Nicolas pointed out a few days ago, some programs that should be equivalent return different results, with a few eraser nodes being placed in places...

One of our current tests is the following: https://github.com/HigherOrderCO/HVM/blob/f158106d6f3b0fe62b9c36686c8918adf11cf536/tests/snapshots/run__file%40empty.hvm.snap#L1-L9 It's expected to fail and panic, though the line in which it panics is hard-coded (see line 7). This is an...

Currently, the diagnostic struct is defined as such: ```rust pub struct Diagnostic { message: String, severity: Severity, } ``` Some diagnostics can be related to code on a specific range...

Allow `tree-sitter-highlight` crate to work on source code as iterator of slices (such as ropes)

3

### Problem The function `tree_sitter::QueryCursor::matches` has the following signature: ```rust pub fn matches( &'cursor mut self, query: &'query Query, node: Node(pub &'a Rope); impl for &'a TextProviderRope; fn text(&mut self,...

Similar to #183, but on MacOS. When using the extension with the language server enabled on MacOS 14.6.1 on a MacBook Air M2, I get the following error whenever loading...

Patch error when installing with the Coq platform

3

Hi! I'm installing the Coq platform, but it keeps erroring due to a failure to find a patch file when installing `ocamlfind`. I couldn't find anyone with a similar error...