projects / web.git / commit
| author | Ralf Jung <post@ralfj.de> | |
| Wed, 19 Jul 2017 20:55:23 +0000 (13:55 -0700) | ||
| committer | Ralf Jung <post@ralfj.de> | |
| Wed, 19 Jul 2017 20:55:23 +0000 (13:55 -0700) | ||
| commit | 152eca53464f61c4731af3349e163ac490d35ecb | |
| tree | 126a0ef939c57bf7df6da88353150ee1b7d1b429 | tree | snapshot |
| parent | 55fa09eeadf83e0361a84967571f99bc80c49be0 | commit | diff |
| personal/_posts/2017-07-17-types-as-contracts.md | diff | blob | history |