projects / web.git / commit
| author | Ralf Jung <post@ralfj.de> | |
| Sat, 12 Aug 2017 01:20:01 +0000 (18:20 -0700) | ||
| committer | Ralf Jung <post@ralfj.de> | |
| Sat, 12 Aug 2017 01:20:01 +0000 (18:20 -0700) | ||
| commit | 8843f41333a5a6b341f4c7623dd54fc7d012dd43 | |
| tree | 7828dfa2407a4770266a23c8f2b8d8d2938fe5b2 | tree | snapshot |
| parent | fde9f5bd57b6785426ade89d2bd4a9a342b4301d | commit | diff |
| ralf/_posts/2017-08-11-types-as-contracts-evaluation.md | diff | blob | history |