jeffa5.github.io:www.jeffas.io
需积分: 5 164 浏览量
2021-03-13
07:37:22
上传
评论
收藏 31KB ZIP 举报
jeffa5_github_io-master.zip （26个子文件） 
jeffa5.github.io-master _drafts 
2021-03-12-presentation-notes.md 424B 2021-03-12-paper-notes.md 351B index.md 213B .envrc 10B flake.nix 766B _layouts 
home.html 756B gemset.nix 28KB Gemfile 179B CNAME 9B _data projects.yml 354B flake.lock 1KB assets ocaml-state-machines 
machine.png 8KB Makefile 267B 404.html 398B Gemfile.lock 7KB .gitignore 22B _config.yml 408B _posts 2018-11-06-mirage-xmpp.md 261B 2019-06-30-block-breaker.md 447B 2019-06-16-waytext.md 490B 2020-08-21-nodo-part-0-an-exploration.md 3KB 2020-08-28-nodo-part-1-formats.md 4KB 2020-08-16-thoughts-on-notes-and-todos.md 2KB 2019-06-20-owork.md 741B 2020-04-15-ocaml-state-machines.md 3KB projects.html 2KB资源评论
