Greg Pfeil
Greg Pfeil
As described in [Unifying Structured Recursion Schemes](https://www.cs.ox.ac.uk/people/nicolas.wu/papers/URS.pdf), we can define adjoint folds that cover all of the current Comonadic folds as well as a number of others that don’t fall...
If I try to load the sbt-microsites plugin on a git worktree in a different dir than my original clone, I get an error like ``` org.eclipse.jgit.errors.NoWorkTreeException: Bare Repository has...
I have a bunch of Scaladocs for different projects open for reference, but they all look identical, so I get lost sometimes. Something simple like using Typelevel red rather than...
We use `-Ywarn-unused-import` (and `-Xfatal-warnings`), and get ``` Unused import import acyclic.file ``` on any file I add it to. I don’t know of any way to silence an unused...
We’re trying to modularize a largish code base, and it would be great if acyclic could help us see where there are branches we could move into their own subprojects.
Promoting one of the subpoints of #532 to its own issue: "It might also be nice to indicate somehow which exercises can be done after reading which sections of the...
At work we fail the build on Haddock warnings. We use a global list of symbols to pass to Haddock via `--ignore-link-symbol`, but it would be very helpful if there...
Clearer paths to display to users and to avoid creating unused directories.
**Describe the bug** The positioning of `$` changes depending other line breaks in the expression. **To Reproduce** ```haskell shortExpr $ otherExpr ``` Now add a composition before the application: ```haskell...
**Is your feature request related to a problem? Please describe.** We use both Ormolu and a line-length linter at work. Sometimes I end up in situations where running Ormolu makes...