]>
| author | Ralf Jung <post@ralfj.de> | |
| Tue, 18 Jul 2017 01:54:26 +0000 (18:54 -0700) | ||
| committer | Ralf Jung <post@ralfj.de> | |
| Tue, 18 Jul 2017 01:54:29 +0000 (18:54 -0700) | ||
| commit | a64afd8a7df97b25a90c9ea7486fe366796a102d | |
| tree | c04c60181ea1c6a29ae9d0cb7a44ddf9bd60af9a | tree | snapshot |
| parent | 91713eac2f6b8f2d75bcd1ac3500b1d1f4350225 | commit | diff |
| personal/_posts/2017-07-17-types-as-contracts.md | diff | blob | history |