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 983a1d79fb Typo. 2 weeks ago
app Switch to cabal builds. 3 months ago
bibs Typo. 2 weeks ago
content MFPS and other PCs. 2 weeks ago
css Simplify templates. 3 years ago
files Fix POPL slides. 6 months ago
images Change image. 4 years ago
scripts Don't delete extra files when deploying. 3 months ago
templates Change field name note to jhnote. 2 years ago
.gitignore Gitignore. 3 months ago
LICENSE Switch to cabal builds. 3 months ago
Makefile Switch to cabal builds. 3 months ago
Setup.hs Move to Stackage. 3 years ago
index.html Simplify templates. 3 years ago
justin-site.cabal Bump GHC version to 8.10. 3 months ago