├── .travis.yml ├── An Introduction to Scala.html ├── An-Exhibition-of-PLs.html ├── Entertaining-Pointfree.pdf ├── IntroductionToDependentTypes.pdf ├── The-Overview-of-Lens.pdf ├── TheDevelopmentOfDependentTypes.pdf ├── Verification-in-Dafny.pdf ├── YonedaLemma.pdf ├── compiling-time-snake.pdf └── id_rsa.enc /.travis.yml: -------------------------------------------------------------------------------- 1 | script: 2 | - openssl aes-256-cbc -K $encrypted_74ff3ccf1e5e_key -iv $encrypted_74ff3ccf1e5e_iv -in id_rsa.enc -out id_rsa -d 3 | - mv id_rsa ~/.ssh 4 | - eval "$(ssh-agent -s)" 5 | - chmod 600 ~/.ssh/id_rsa 6 | - ssh-add ~/.ssh/id_rsa 7 | - echo "StrictHostKeyChecking no" > ~/.ssh/config 8 | - rm -rf .git* id_rsa* 9 | - rsync -r --delete-after --quiet . ubuntu@zju-lambda.tech:/home/ubuntu/static/slides 10 | 11 | -------------------------------------------------------------------------------- /An Introduction to Scala.html: -------------------------------------------------------------------------------- 1 | 2 | 3 |
4 | 5 | 6 |