projects / web.git / commit
| author | Ralf Jung <post@ralfj.de> | |
| Thu, 5 Apr 2018 15:36:17 +0000 (17:36 +0200) | ||
| committer | Ralf Jung <post@ralfj.de> | |
| Thu, 5 Apr 2018 15:36:17 +0000 (17:36 +0200) | ||
| commit | aae71f1c3b12f9b0b5cd97b7e51ef481ff91f1b6 | |
| tree | f8e116fe3a48fcc01b1f0b85c87c40ae5aaea4c4 | tree | snapshot |
| parent | 99218f21eb58e53a24f2ca4da1318f4540935962 | commit | diff |
| personal/_posts/2017-07-17-types-as-contracts.md | diff | blob | history | |
| personal/_posts/2018-04-05-a-formal-look-at-pinning.md | diff | blob | history |