Copperbox revision 2818.
Work on the phantom typed top level. Adding phantom constructors and operators for most of the constructors of the Expr datatype - only application and return are outstanding. Return is probably unnecessary, application needs some thought as it is n-ary in Wumpus-Expr unlike Haskell where it is binary.
Blog Archive
-
▼
2012
(237)
-
▼
July
(27)
- krayola
- krayola
- wumpus-expr
- OpenGL version number
- wumpus-expr
- wumpus-expr
- wumpus-expr
- cps-mon
- cps-mon
- wumpus-expr
- wumpus-expr
- wumpus-expr
- wumpus-expr
- wumpus-expr
- wumpus-expr
- wumpus-expr
- wumpus-expr
- wumpus-expr
- wumpus-expr
- wumpus-expr
- wumpus-expr
- pretty-expr-hpj
- wumpus-expr
- wumpus-expr
- wumpus-expr
- wumpus-expr
- wumpus-expr
-
▼
July
(27)
About Me
- Stephen Tetley
- 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.