Nelze vybrat více než 25 témat Téma musí začínat písmenem nebo číslem, může obsahovat pomlčky („-“) a může být dlouhé až 35 znaků.
 
 
 
 
 
 
Justin Hsu 13e8e07eeb Bib. před 1 měsícem
app Switch to cabal builds. před 1 měsícem
bibs Bib. před 1 měsícem
content Fix link. před 1 měsícem
css Simplify templates. před 2 roky
files Fix POPL slides. před 4 měsíci
images Change image. před 4 roky
scripts Don't delete extra files when deploying. před 1 měsícem
templates Change field name note to jhnote. před 2 roky
.gitignore Gitignore. před 1 měsícem
LICENSE Switch to cabal builds. před 1 měsícem
Makefile Switch to cabal builds. před 1 měsícem
Setup.hs Move to Stackage. před 3 roky
index.html Simplify templates. před 2 roky
justin-site.cabal Bump GHC version to 8.10. před 1 měsícem