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 | ef943c44bdd6f451b65b49b81f17a5a339aad5ec | |
| tree | c73a73307eaaf0ef864c0009afe3b4b702d11e8b | tree | snapshot |
| parent | d7f72237fdbfb0771307c1e3c4a4d2e053857b9c | commit | diff |
| personal/_posts/2017-07-17-types-as-contracts.md | diff | blob | history |