projects / web.git / commit
| 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 | 4ae5e63b997a5662ebe0bad613e4c433f23399ea | |
| tree | d61912e6c366de1a05954882e96f0ee2fbc41370 | tree | snapshot |
| parent | 70f55571cadba0802bbd8c1d2697af71ad33dfad | commit | diff |
| ralf/_posts/2017-07-17-types-as-contracts.md | diff | blob | history |