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