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 983a1d79fb Typo. 1 mese fa
app Switch to cabal builds. 4 mesi fa
bibs Typo. 1 mese fa
content MFPS and other PCs. 1 mese fa
css Simplify templates. 3 anni fa
files Fix POPL slides. 7 mesi fa
images Change image. 4 anni fa
scripts Don't delete extra files when deploying. 4 mesi fa
templates Change field name note to jhnote. 2 anni fa
.gitignore Gitignore. 4 mesi fa
LICENSE Switch to cabal builds. 4 mesi fa
Makefile Switch to cabal builds. 4 mesi fa
Setup.hs Move to Stackage. 3 anni fa
index.html Simplify templates. 3 anni fa
justin-site.cabal Bump GHC version to 8.10. 4 mesi fa