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