Comment by trenchgun

1 month ago

Arrays/maps/lists are extensionally defined functions, where as functions/TLA+ operations are intensionally defined functions

0 comments