Non puoi selezionare più di 25 argomenti Gli argomenti devono iniziare con una lettera o un numero, possono includere trattini ('-') e possono essere lunghi fino a 35 caratteri.
 
 
 
 
 
 
Justin Hsu 13e8e07eeb Bib. 1 mese fa
app Switch to cabal builds. 1 mese fa
bibs Bib. 1 mese fa
content Fix link. 1 mese fa
css Simplify templates. 2 anni fa
files Fix POPL slides. 4 mesi fa
images Change image. 4 anni fa
scripts Don't delete extra files when deploying. 1 mese fa
templates Change field name note to jhnote. 2 anni fa
.gitignore Gitignore. 1 mese fa
LICENSE Switch to cabal builds. 1 mese fa
Makefile Switch to cabal builds. 1 mese fa
Setup.hs Move to Stackage. 3 anni fa
index.html Simplify templates. 2 anni fa
justin-site.cabal Bump GHC version to 8.10. 1 mese fa