clarify 'elements' of a type
authorRalf Jung <post@ralfj.de>
Tue, 18 Jul 2017 02:06:05 +0000 (19:06 -0700)
committerRalf Jung <post@ralfj.de>
Tue, 18 Jul 2017 02:07:32 +0000 (19:07 -0700)
commit79a5dd1fee6c524d75aaed6e38d0e1440320a4b0
tree05f59442385798d6fd2ab4368d63c7c377d459a7
parent4ae5e63b997a5662ebe0bad613e4c433f23399ea
clarify 'elements' of a type
ralf/_posts/2017-07-17-types-as-contracts.md