3 ms·So stamps are like dependent types?by carapace 5y agoSo stamps are like dependent types?chrisseaton 5y agoYes - but invisible to the user and inferred automatically.carapace 5y agoOh cool. That's pretty neat!