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 | 6efd4f0f854661f076eea4cf71207d7d4e72d1cc | |
| tree | 57aab0d66d4dfbfef30b0bca518c7e8542bade60 | tree | snapshot |
| parent | aaa53042d80db82469d32690a2ce72dda3ed2227 | 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 |