![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| savemd/ | 2017-11-08 00:10 | - | |
| cleanCR | 2017-11-06 18:16 | 41 | |
| nonumber.latex | 2017-08-29 19:13 | 94 | |
| makeslidy | 2017-11-07 15:36 | 337 | |
| makenotoc | 2017-11-07 15:36 | 417 | |
| maketoc | 2017-11-07 15:36 | 472 | |
| makeall | 2017-08-29 19:12 | 620 | |
| makechapter | 2017-11-07 15:36 | 650 | |
| EvolvingHardwareSlides.md | 2017-11-06 18:22 | 4.2K | |
| StepwiseRefinementSlides.md | 2017-11-06 18:24 | 5.2K | |
| HistorySlides.md | 2017-11-06 18:10 | 6.3K | |
| RecursionStylesSlides.md | 2017-11-06 18:23 | 7.1K | |
| PrimaryParadigmsSlides.md | 2017-11-06 18:23 | 7.3K | |
| FirstHaskellSlides.md | 2017-11-06 18:22 | 8.0K | |
| TypeClassSlides.md | 2017-11-08 02:53 | 8.9K | |
| AlgDataTypesSlides.md | 2017-11-08 02:54 | 9.9K | |
| EvalModelSlides.md | 2017-11-06 18:22 | 11K | |
| fig_04_01.png | 2016-07-03 03:38 | 11K | |
| DataAbstractionSlides.md | 2017-11-06 18:21 | 14K | |
| ListProgrammingSlides.md | 2017-11-06 18:23 | 16K | |
| FunctionConceptsSlides.md | 2017-11-06 18:22 | 17K | |
| HigherOrderFunctionsSlides.md | 2017-11-06 18:22 | 17K | |
| Rational_Mod_Dep01.png | 2017-09-25 16:56 | 60K | |
| fig_08_01.png | 2017-10-11 03:48 | 143K | |
| EvolvingHardwareSlides.html | 2017-11-06 18:25 | 169K | |
| HistorySlides.html | 2017-11-06 18:26 | 171K | |
| StepwiseRefinementSlides.html | 2017-11-06 18:27 | 171K | |
| RecursionStylesSlides.html | 2017-11-06 18:27 | 173K | |
| PrimaryParadigmsSlides.html | 2017-11-06 18:27 | 174K | |
| FirstHaskellSlides.html | 2017-11-06 18:26 | 177K | |
| EvalModelSlides.html | 2017-11-06 18:25 | 184K | |
| TypeClassSlides.html | 2017-11-08 02:53 | 186K | |
| ListProgrammingSlides.html | 2017-11-06 18:26 | 207K | |
| HigherOrderFunctionsSlides.html | 2017-11-06 18:26 | 214K | |
| FunctionConceptsSlides.html | 2017-11-06 18:26 | 219K | |
| DataAbstractionSlides.html | 2017-11-06 18:25 | 264K | |
| AlgDataTypesSlides.html | 2017-11-08 02:54 | 381K | |