suzanne.soy/cur
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Reorganized stdlib docs a bit

Browse Source 
Sugar should come first; tactics last
This commit is contained in:
William J. Bowman 2016-03-17 15:38:17 -04:00
parent ab6d62252f
commit 8b3159bb6f
No known key found for this signature in database
GPG Key ID: DDD48D26958F0D1A
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
cur-doc/cur/scribblings/stdlib.scrbl
View File

@ -7,10 +7,10 @@ Cur has a small standard library, primary for demonstration purposes.
@local-table-of-contents[]
@include-section{stdlib/tactics.scrbl}
@include-section{stdlib/sugar.scrbl}
@include-section{stdlib/bool.scrbl}
@include-section{stdlib/nat.scrbl}
@include-section{stdlib/maybe.scrbl}
@include-section{stdlib/list.scrbl}
@include-section{stdlib/typeclass.scrbl}
@include-section{stdlib/tactics.scrbl}