2 ms·
Arrays/maps/lists are extensionally defined functions, where as functions/TLA+ operations are intensionally defined functions
by trenchgun 9mo ago
Arrays/maps/lists are extensionally defined functions, where as functions/TLA+ operations are intensionally defined functions