You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Justin Hsu d12f81d6b9 Add IJCAI. 2 months ago
app Simplify templates. 1 year ago
bibs Add IJCAI. 2 months ago
content Add IJCAI. 2 months ago
css Simplify templates. 1 year ago
files Relocate slides. 8 months ago
images Change image. 3 years ago
scripts Deploy script now removes unnecessary files. 1 year ago
src Pass all fields through latex filter by default. 1 year ago
templates Change field name note to jhnote. 1 year ago
test Move to Stackage. 1 year ago
.gitignore Gitignore. 8 months ago
LICENSE Move to Stackage. 1 year ago
Makefile Make install dependencies. 8 months ago
Setup.hs Move to Stackage. 1 year ago
index.html Simplify templates. 1 year ago
package.yaml Track package.yaml. 8 months ago