sheaf
sheaf
Currently, monomials are represented as unboxed vectors of `Int`s. This seems rather inefficient: an unboxed vector stores an offset, a length, and the data is stored byte-per-byte instead of word-per-word....
Apologies if I've missed something, but I couldn't figure out how to use `solveM` or `solve'` with floating point coefficients (e.g. `Double`). Is this possible? In my situation, the algorithms...
This patch adds GHC 9.0 support relative to `generic-lens-1.2.0.1`. I'm still using this version of `generic-lens` as I make extensive use of constrained traversals, which were removed in the `2.0`...
This ports to cabal-install the offline bootstrapping logic which was introduced for Hadrian in GHC MR !6315. This adds a "fetch" command to the bootstrap script, which fetches all the...
Including a type-signature in a pattern synonym seems to cause an issue: ```haskell pattern MkZ fld3 ( fld3 :: TYPE rep ) ) where MkZ fld3 = bar ```` ...
In `GHC.TypeLits` we see ```haskell module GHC.TypeLits ( -- ... , type (N.
```haskell foreign import ccall unsafe "memcmp" memcmp :: Ptr a -> Ptr b -> CSize -> IO CInt ``` The type variables are incorrectly recognised as function names.
We currently aren't highlighting Happy variables specially: ```haskell foo :: { Foo } : foo { $1 } fooBar :: { (Foo, Bar) } : foo bar { ($1, $2)...
The logic to highlight context arrows runs into trouble with the following: ```haskell data WithDict ( c :: Constraint ) ( x :: Type ) = WithDict ( c =>...
Viz.:  GitHub highlighting also suffers from the same issue it seems: ```haskell proof :: SomeVeryLongExpression a b :~: SomeOtherLongExpression c d quux ( proof :: SomeVeryLongExpression a b :~:...