Sunday, March 1, 2009

HMinCaml

Copperbox revision 490.

First look at translating the alpha-conversion and beta-reduction modules.

Unfortunately it looks like I need an equivalent of pointer equality, so I'm going to have to do some thinking about this.
Posted by at

Blog Archive

About Me

My photo
Disambiguating biog as there are a few Stephen Tetley's in the world. I'm neither a cage fighter or yachtsman. I studied Fine Art in the nineties (foundation Bradford 1992, degree Cheltenham 1992 - 95) then Computing part-time at Leeds Met graduating in 2003. I'm the Stephen Tetley on Haskell Cafe and Stackoverflow.