Would any of you be willing to let me join remotely via Google Hangouts, Skype, or some other service? I'm trying to drum up a meetup here in Nashville,TN with no luck so far (meetup.com/fantasy-land was too vague it seems and this one I'm hoping will just take time to grow: www.meetup.com/The-Haskell-Study-Group/), and I'm looking to hang with other Haskellers regularly.
0 · October 15
I can do a presentation and hack some. There's a surprisingly practical hack-driven approach to decomposing academic papers on some pretty abstract stuff where the would-be hacker's goal is to define terms satisfying the type checker. Specifying the term that satisfies the type checker is considered a successful hack and a witness, or proof, consistent with constructive logic. I've done this up to polytypic, or kind-level, proofs with associated commutative diagrams in xypic.
1 · September 10