You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
Justin Hsu b27378575a Update. 2 weeks ago
app Simplify templates. 2 years ago
bibs Update. 2 weeks ago
content CMCS tutorial. 3 weeks ago
css Simplify templates. 2 years ago
files Fix POPL slides. 3 weeks ago
images Change image. 4 years ago
scripts Deploy script now removes unnecessary files. 2 years ago
src Pass all fields through latex filter by default. 2 years ago
templates Change field name note to jhnote. 2 years ago
test Move to Stackage. 2 years ago
.gitignore Gitignore. 2 years ago
LICENSE Move to Stackage. 2 years ago
Makefile Don't make check during every deploy. 1 year ago
Setup.hs Move to Stackage. 2 years ago
index.html Simplify templates. 2 years ago
package.yaml Track package.yaml. 2 years ago