Izaak Meckler

Proposal: Remove TeXSeq and TeXEmpty

6

Is there a compelling reason for the `TeXSeq` and `TeXEmpty` constructors vs. something like ``` haskell newtype LaTeX = LaTeX [Block] data Block = TeXRaw Text | TeXComm String [TeXArg]...

First of all, incredible work. This is an enormous contribution in the path toward making zk-SNARKs super practical. Now on to the issue :) For one curves in [Coda](https://github.com/CodaProtocol/coda), we...

Gnome doesn't load initially, then does but also "Oh no! Something has gone wrong." pops up

2

First off thank you for maintaining this package, it's super useful. Just upgraded from 20.04 to 22.04 and upgraded the package. When I log in, I just see my desktop...

Consider ``` haskell shift :: Num a => [a] -> [a] shift = map _ ``` The goal type is displayed as `a -> a` when it is really `Num...

Suppose ``` haskell f :: Int -> () f x = _ ``` Then `CaseOn x` results in ``` haskell f :: Int -> () f x = case x...

Consider the following module. ``` haskell f :: () f = () where x :: Int x = length _ ``` That hole will not be tagged as an argument...

This shouldn't really cause any issues, but just to maintain total endian-independence, we need to check that the random values generated in unit tests are not dependent on endianness. In...

Mic + camera input?

1

Are there any plans to have microphone or camera input at some point? Would also be happy to try contributing this, I guess (copying from processing) the interface should be...

Installing on Mac OS

1

Is there a fundamental reason this package requires linux? Or is it/could it be possible to provide Mac OS support?