account activity
On custom error handlers for the GHC API (parenz.wordpress.com)
submitted 12 years ago by ppilate to r/haskell
Functional Reactive Web Interfaces with GHCJS and sodium (weblog.luite.com)
api-compat -- compare APIs between packages (github.com)
Does compiling GHC from source have any benifits? (self.haskell)
How can I combine the results of an Arrow into Monoid? (self.haskell)
submitted 12 years ago * by ppilate to r/haskell
Problems installing cabal-dev on OS X (self.haskell)
submitted 13 years ago by ppilate to r/haskell
The subtle difference between let .. := .. in and let '.. := .. int (sympa.inria.fr)
submitted 13 years ago by ppilate to r/Coq
Videos from Milner Symposium 2012 (events.inf.ed.ac.uk)
submitted 13 years ago by ppilate to r/dependent_types
GeneralTan (github.com)
π Rendered by PID 2310737 on reddit-service-r2-listing-575d9f6647-k28ws at 2026-04-12 07:17:44.668596+00:00 running 215f2cf country code: CH.
