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