Copperbox revision 514.
I've put my unification code from the type inference sketch into HMinCaml, though I suspect it will be wiser to translate the original ML code than to do more work integrating my type inference code.
Blog Archive
-
▼
2009
(651)
-
▼
March
(34)
- HNotate
- HNotate
- HNotate
- anaMap and accumMapL
- HNotate
- HMinCaml
- HMinCaml
- HMinCaml
- HMinCaml
- HMinCaml
- HMinCaml
- HMinCaml
- HMinCaml
- HMinCaml
- HMinCaml
- HMinCaml
- HMinCaml
- HMinCaml
- ZBitmap
- ZBitmap
- ZBitmap
- ZBitmap
- ZBitmap
- ZBitmap
- ZBitmap
- ZBitmap
- Hawa
- HMinCaml
- HMinCaml
- HMinCaml
- HMinCaml
- HMinCaml
- HMinCaml
- HMinCaml
-
▼
March
(34)
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.