G. Allais

CLI option to dump a package's dependency graph

3

## Summary It's helpful when refactoring to be able to look at the dependency graph of a library to identify potential bottlenecks or surprising (dead?) dependencies. It would be nice...

Case tree is not strict enough, hard crash on scheme eval

2

I haven't tested it with yaffle (wrong laptop atm) but this is concerning: ```idris %default total boom : Nat === List () -> List () boom = \ eq =>...

The change is related to agda/agda#4059: all the irrefutable withs declared in a |-separated bunch are abstracted over at the same time. This mean you need to manually split up...

[ fix #4 ] Be careful about the direction of the bisimulation

2

Fixed the issue by extracting `improve` and forcing it to take `ml` and `mr` as arguments. I commented out the following function which is used nowhere. Is it an old...

Test case built from various examples collected during lab. ``` one() -> @ one(X) = Z where Z = dff(Q) Q = nand(X,Y) Y = Z two() -> @ two(X)...

https://hackage.haskell.org/package/async-2.1.0/docs/Control-Concurrent-Async.html

TODO: * [ ] Golden tests

Still TODO: * [ ] instances for transformers * [ ] test case