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 месеци