A Neighborhood of Infinity

> {-# LANGUAGE RankNTypes, MultiParamTypeClasses, TypeOperators #-} Introduction After I spok...

Introduction There are two broad approaches to problem solving that I see frequently in mathemati...

Introduction As Dan Doel points out here , the gadget Free that turns a functor into a monad is itself a kind of monad, though not the usu...

Introduction A while back I talked about the idea of reinversion of control using the continuation monad to wrest control back from an int...

Introduction Suppose we are given a function of boolean arguments that returns a boolean result. ...

Introduction Recall the standard cartoon sketch of the proof of Gödel's first incompleteness th...