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