Copperbox revision 1198.
I've changed the TaggedStream (flat tree) data type to have its shape encoded in an Element type rather than have inductive constructors. This means I can base the TaggedStream on a join list and so get cheap concatenation.
Blog Archive
-
▼
2010
(890)
-
▼
March
(52)
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
- Neume
-
▼
March
(52)
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.