projects / lambda.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: ecea9a7)
(no commit message)
authorchris <chris@web>
Tue, 24 Feb 2015 21:45:05 +0000 (16:45 -0500)
committerLinux User <ikiwiki@localhost.members.linode.com>
Tue, 24 Feb 2015 21:45:05 +0000 (16:45 -0500)
topics/_week5_system_F.mdwn patch | blob | history

diff --git a/topics/_week5_system_F.mdwn b/topics/_week5_system_F.mdwn
index b8c6bf3..150794e 100644 (file)
--- a/topics/_week5_system_F.mdwn
+++ b/topics/_week5_system_F.mdwn
@@ -1,4 +1,4 @@
-[[!toc]]
+[[!toc levels=2]]
 
 # System F and recursive types
 
 
 # System F and recursive types
 
NYU Lambda Wiki v2