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 | 75140a3f3fdeebf375d736ff8b7a37fff49d5b08 | |
| tree | e9ff62d88bea8df8bcbe6c892ded75241770ca7f | tree | snapshot |
| parent | d3f8f5950feeeba2aed2f9d7cc32238e0045995f | commit | diff |
| personal/_posts/2017-08-11-types-as-contracts-evaluation.md | diff | blob | history |