No puede seleccionar más de 25 temas Los temas deben comenzar con una letra o número, pueden incluir guiones ('-') y pueden tener hasta 35 caracteres de largo.
 
 
 
 
 
 
Justin Hsu 983a1d79fb Typo. hace 1 mes
app Switch to cabal builds. hace 4 meses
bibs Typo. hace 1 mes
content MFPS and other PCs. hace 1 mes
css Simplify templates. hace 3 años
files Fix POPL slides. hace 7 meses
images Change image. hace 4 años
scripts Don't delete extra files when deploying. hace 4 meses
templates Change field name note to jhnote. hace 2 años
.gitignore Gitignore. hace 4 meses
LICENSE Switch to cabal builds. hace 4 meses
Makefile Switch to cabal builds. hace 4 meses
Setup.hs Move to Stackage. hace 3 años
index.html Simplify templates. hace 3 años
justin-site.cabal Bump GHC version to 8.10. hace 4 meses