Ви не можете вибрати більше 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 місяці тому