Copperbox revision 3074.
Some changes to type names and some code clean up.
Initially this revision was an attempt to simplify the implementation of the CheckCode monad by changing success from Okay True (with both Okay False and Fail msg as failure) to Okay () as success and Fail msg as failure. However this change made it difficult to write Applicative checkers (they needed an extra lifter) and imall became more difficult to think about.
Saturday, January 11, 2014
Blog Archive
-
▼
2014
(200)
-
▼
January
(25)
- ochre-lang
- ochre-lang
- config-check
- config-check
- config-check
- config-check
- config-check
- config-check
- config-check
- config-check
- config-check
- config-check
- config-check
- config-check
- config-check
- config-check
- config-check
- config-check
- config-check
- config-check
- config-check
- config-check
- config-check
- OpenVG-0.7.0 and OpenVGRaw-0.4.0 - new releases
- OpenVG and OpenVGRaw
-
▼
January
(25)
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.