Minor editions

jmgimeno · Sep 26, 2019 · eb756c8 · eb756c8
1 parent 1945200
commit eb756c8
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/funprog/A (personal) introduction to Functional Programming.pdf b/funprog/A (personal) introduction to Functional Programming.pdf
diff --git a/funprog/index.html b/funprog/index.html
@@ -446,9 +446,8 @@ <h2>Suggestions for further study</h2>
             <li>(A/Some) functional programming language(s)</li>
             <li>Functional Data Structures</li>
             <li>Some Category Theory concepts</li>
-            <li>A little bit about type theory</li>
-            <li>Lots & lots of videos of presentations to watch</li>
-            <li>Lots & lots of code to read</li>
+            <li>Some Type theory</li>
+            <li>Some Recursive theory</li>
             <li>...</li>
           </ul>
         </section>