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 13e8e07eeb Bib. 1 kuukausi sitten
app Switch to cabal builds. 1 kuukausi sitten
bibs Bib. 1 kuukausi sitten
content Fix link. 1 kuukausi sitten
css Simplify templates. 2 vuotta sitten
files Fix POPL slides. 4 kuukautta sitten
images Change image. 4 vuotta sitten
scripts Don't delete extra files when deploying. 1 kuukausi sitten
templates Change field name note to jhnote. 2 vuotta sitten
.gitignore Gitignore. 1 kuukausi sitten
LICENSE Switch to cabal builds. 1 kuukausi sitten
Makefile Switch to cabal builds. 1 kuukausi sitten
Setup.hs Move to Stackage. 3 vuotta sitten
index.html Simplify templates. 2 vuotta sitten
justin-site.cabal Bump GHC version to 8.10. 1 kuukausi sitten