Monday, March 14, 2011

wumpus-basic

Copperbox revision 2208.

I've re-introduced the DUnit type family. I want to see if I can improve the bind-query interface with type families, so I've removed the fundep use in TraceDrawing - DUnit takes the place of the fundep.

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.