John Wiegley

Results 91 issues of John Wiegley

Since I no longer actively maintain this repository, but it is still used by many, I wonder if any stalwart souls would be interested in picking up the baton and...

``` Vulcan:~/src/fpco $ tg files error: unable to find 15843c6387e3b137bfe02e3f2367da4ef911078b error: unable to find dbaef15dcc6cfd7063fb3f1124aa0fd85a6796cd error: unable to find 1f485fec006ea6eb2f54130bf875fb2053afdd4c error: unable to find d674fe4c75da77fd5a2a97770ed403944e589f6a error: unable to find 94eb62de862bdaf2d3949a53a5d057d9841e6a55...

Consider this example code: ```haskell example :: Int -> Float example x = iter phi (unfold psi x) where psi :: Int -> Either Float (Int, Int) psi n =...

It would be neat if `hydra` provided a `:hydra` keyword to `use-package` (by extending `use-package-keywords`), that would gensym the hydra name and allow the bindings to be declared as part...

This way, when an isearch "upgrades" to an ace-isearch, I can still press `C-s` to the next occurrence as I would have with just `isearch`.

feature request

I'm trying to figure out how to get the following to work: ```haskell stronger :: f :< r => Sum r v -> a stronger = undefined weaker :: f...

The following code demonstrates the problem: ``` works :: (Apply Eq1 r, Eq v) => Sum r v -> Sum r v -> Bool works x y = x ==...