Dissection

October 3rd, 2006 by Conor

Began dissecting at the weekend. Clowns to the left of me, jokers to the right is the story so far. But there aren’t half still some jokers to the right.

Skeletons

March 23rd, 2006 by Conor

Fixpoints of Indexed Containers

January 22nd, 2006 by Conor

Plain containers and linear logic…

August 23rd, 2005 by PierreH

lolly, tensor, no bang

August 17th, 2005 by Hank

The universal property of logarithms

August 2nd, 2005 by Hank

Roman Containers

July 2nd, 2005 by Conor

Container Drivers

June 28th, 2005 by Conor

What is a Naperian container?

June 19th, 2005 by Hank

Any mpt is iso to some dc.

June 16th, 2005 by Hank