Koz Ross on Nostr: nprofile1q…0vhyf I've recently been wondering whether you could use a typed ...
nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq00fuygn2kuesukt4egm42rgde8x7a4g6kuuhx58q30x930uxdvqqp0vhyf (nprofile…vhyf) I've recently been wondering whether you could use a typed Forth-esque thing as a good 'substructural types for programmers' expository example.