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