projects / web.git / commit
| author | Ralf Jung <post@ralfj.de> | |
| Fri, 11 Aug 2017 23:04:30 +0000 (16:04 -0700) | ||
| committer | Ralf Jung <post@ralfj.de> | |
| Fri, 11 Aug 2017 23:04:30 +0000 (16:04 -0700) | ||
| commit | fde9f5bd57b6785426ade89d2bd4a9a342b4301d | |
| tree | 64d013410d17619b4fb91d63417f30007faca00c | tree | snapshot |
| parent | 81d020bc303e970d1eaebf302bb829dafeb6e2ce | commit | diff |
| ralf/_posts/2017-08-11-types-as-contracts-evaluation.md | diff | blob | history |