Work was done on adding simple value dependent types to Pony as part of someone'...

		spooneybarger on Aug 10, 2018 \| parent \| context \| favorite \| on: 1/0 = 0 Work was done on adding simple value dependent types to Pony as part of someone's academic work, sadly it hasn't made its way into mainline Pony yet. https://vimeo.com/175746403