|
|
|
|
|
|
by moonchild
696 days ago
|
|
|
> "the" instance i suppose you can probably do anything with dependent types, but i'm not sure this is a useful perspective. i commend you to read my comments on the red website https://lobste.rs/s/xkcrvn/ (i do think it is a valid question whether abstract interpretation is a good idea) |
|
|