25개 이상의 토픽을 선택하실 수 없습니다. Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
 
Justin Hsu 13e8e07eeb Bib. 1 개월 전
app Switch to cabal builds. 1 개월 전
bibs Bib. 1 개월 전
content Fix link. 1 개월 전
css Simplify templates. 2 년 전
files Fix POPL slides. 4 달 전
images Change image. 4 년 전
scripts Don't delete extra files when deploying. 1 개월 전
templates Change field name note to jhnote. 2 년 전
.gitignore Gitignore. 1 개월 전
LICENSE Switch to cabal builds. 1 개월 전
Makefile Switch to cabal builds. 1 개월 전
Setup.hs Move to Stackage. 3 년 전
index.html Simplify templates. 2 년 전
justin-site.cabal Bump GHC version to 8.10. 1 개월 전