added link to twelf-wasm

chrisamaphone · Feb 16, 2024 · 6c578fa · 6c578fa
1 parent ab76e2c
commit 6c578fa
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/syllabus.md b/docs/syllabus.md
@@ -38,6 +38,7 @@ The course will use [Zulip](https://zulip.com/) for announcements and discussion
 ### Resources
 
 * [The Twelf Wiki](http://twelf.org/wiki/Main_Page)
+* [Run Twelf in your browser!](https://jcreedcmu.github.io/twelf-wasm/)
 * Frank Pfenning’s draft book on [Computation and
   Deduction](https://cs.mcgill.ca/~bpientka/courses/comp523-08/cd.pdf)