Adam C. Foltzer

Prototype is available here: https://gist.github.com/1242902 Indeed and unfortunately, it seems that the `tu` example of a failing unification does typecheck, even though it fails at runtime. Next up, supporting other...

`==` would distinguish them, but too strictly; `Bar 5 Foo /= Bar 5 (Var n)` but we want them to unify. I think there may be some use in adding...

So, this a degenerate version of what I had in mind, and it turns out not to work: ``` haskell data Val where Var :: (Eq a, Typeable a, Show...

@seanmonstar I've been working with @franfastly on this investigation and an internal patch we've been cooking up to address the issue. I think overall I would prefer that `h2` _just_...

@seanmonstar I'm taking over this one from Fran while he's on vacation for the next few weeks. I would offer to do the review myself, but I'm the coauthor of...

Added another commit to fix ^C and signal handling in general

Well, Oleg Numbers are isomorphic to `LogicList Bool`, so if we can do one, we should have the other. Reification (and unification) are a pain to define right now with...

How do you think this should look, concretely? One of the big advantages to the string-based approach is the simplicity of the TH splices, but I'm happy to consider other...

Sorry for the delay on this; a mail filter gone awry hid messages about this repo from me for months. Are the typed TH splices documented anywhere? This is the...

Thank you! I will try to take a look this weekend.