Copperbox revision 491.
I completely overlooked K-normal form yesterday when I was looking at alpha and beta reduction. In K-normal form expressions are represented by an identifier and the identifier is used to index the expression in the map. Alpha-conversion and Beta-reduction modules are now implemented.
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.