Du kan inte välja fler än 25 ämnen Ämnen måste starta med en bokstav eller siffra, kan innehålla bindestreck ('-') och vara max 35 tecken långa.
 
 
 
 
 
 
Justin Hsu 983a1d79fb Typo. 1 månad sedan
app Switch to cabal builds. 4 månader sedan
bibs Typo. 1 månad sedan
content MFPS and other PCs. 1 månad sedan
css Simplify templates. 3 år sedan
files Fix POPL slides. 7 månader sedan
images Change image. 4 år sedan
scripts Don't delete extra files when deploying. 4 månader sedan
templates Change field name note to jhnote. 2 år sedan
.gitignore Gitignore. 4 månader sedan
LICENSE Switch to cabal builds. 4 månader sedan
Makefile Switch to cabal builds. 4 månader sedan
Setup.hs Move to Stackage. 3 år sedan
index.html Simplify templates. 3 år sedan
justin-site.cabal Bump GHC version to 8.10. 4 månader sedan