Vous ne pouvez pas sélectionner plus de 25 sujets Les noms de sujets doivent commencer par une lettre ou un nombre, peuvent contenir des tirets ('-') et peuvent comporter jusqu'à 35 caractères.
 
 
 
 
 
 
Justin Hsu 983a1d79fb Typo. il y a 1 mois
app Switch to cabal builds. il y a 4 mois
bibs Typo. il y a 1 mois
content MFPS and other PCs. il y a 1 mois
css Simplify templates. il y a 3 ans
files Fix POPL slides. il y a 7 mois
images Change image. il y a 4 ans
scripts Don't delete extra files when deploying. il y a 4 mois
templates Change field name note to jhnote. il y a 2 ans
.gitignore Gitignore. il y a 4 mois
LICENSE Switch to cabal builds. il y a 4 mois
Makefile Switch to cabal builds. il y a 4 mois
Setup.hs Move to Stackage. il y a 3 ans
index.html Simplify templates. il y a 3 ans
justin-site.cabal Bump GHC version to 8.10. il y a 4 mois