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