3 ms·A Forth-y with types, let alone dependent types, are not ‘a dime a dozen’.by tluyben2 7y agoA Forth-y with types, let alone dependent types, are not ‘a dime a dozen’.