Вы не можете выбрать более 25 тем Темы должны начинаться с буквы или цифры, могут содержать дефисы(-) и должны содержать не более 35 символов.
 
 
 
 
 
 
Justin Hsu 983a1d79fb Typo. 1 месяц назад
app Switch to cabal builds. 4 месяцев назад
bibs Typo. 1 месяц назад
content MFPS and other PCs. 1 месяц назад
css Simplify templates. 3 лет назад
files Fix POPL slides. 7 месяцев назад
images Change image. 4 лет назад
scripts Don't delete extra files when deploying. 4 месяцев назад
templates Change field name note to jhnote. 2 лет назад
.gitignore Gitignore. 4 месяцев назад
LICENSE Switch to cabal builds. 4 месяцев назад
Makefile Switch to cabal builds. 4 месяцев назад
Setup.hs Move to Stackage. 3 лет назад
index.html Simplify templates. 3 лет назад
justin-site.cabal Bump GHC version to 8.10. 4 месяцев назад