Remy Goldschmidt

We should support `Term` nodes with associativity (A), commutativity (C), unitality (U), and idempotency (I) axioms, and combinations thereof. - [ ] Implement A-matching - [_Building-in equational theories_ by Plotkin](http://homepages.inf.ed.ac.uk/gdp/publications/building_in_equational_theories.pdf)...

Switch to more modern parsing/pretty-printing libraries

3

You guys currently depend on `parsec` and `pretty` for parsing and pretty-printing respectively. Assuming that you are not doing this purely as a way of minimizing your dependency footprint (since...

``` module Foo where foo :: Int -> IO () foo x = case x of x | let y = x + 1, y > 5 -> do putStrLn...

Misses some dependencies when run on K Framework

3

I am (re-)packaging a decently large Maven project – the [K Framework](https://github.com/kframework/k) – for Nix. Currently, when I run this tool on that source, i.e.: ``` bash wget https://github.com/kframework/k/archive/master.zip unzip...

https://github.com/Tox/Tox-Client-Standard/issues/30

pressing `^C` during a call leads to a segmentation fault: ``` "clever-desktop2" "-12573min ± 9ms" average offset "-12573min" shifting "-6286min" ^Csending qca::quit() signal handler finished saved 7180 bytes "savestate" db...

I'm looking at doing a project with an iCE40-HX4K and Lattice.hs seems to be a good way to use iCE40 chips with Clash. Unfortunately clockGate was removed in the 1.0...

Use deterministic bootstrapping

1

You may want to think about using [deterministic bootstrapping](https://nixos.wiki/wiki/How_to_fetch_Nixpkgs_with_an_empty_NIX_PATH) in [this](https://github.com/mrkgnao/rien/blob/master/rien.nix#L50-L56) part of the code.

`DecompressParams` should be modifiable?

3

There's currently no function exported from`Codec.Compression.Lzma` that allows `defaultDecompressParams` to be customized. It seems to me that, this being the case, either the constructor/fields of `DecompressParams` should be exported, or,...

Use reflex

1

You can probably use [reflex](https://hackage.haskell.org/package/reflex) to avoid `forkIO`ing. [Here](http://hexagoxel.de/postsforpublish/posts/2017-10-30-brick-plus-reflex.html)'s a good example of using reflex for a TUI application. @mckeankylej can probably provide more insight into reflex (I haven't used...