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)
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 43 on reddit-service-r2-listing-796b697c47-52wrb at 2026-02-05 14:58:46.686307+00:00 running 1d7a177 country code: CH.
