2 ms·
> CSV is dynamically typed No, CSV is dependently typed. Way cooler ;) I wrote something about this https://github.com/Ericson2314/baccumulation/blob/main/dat
by Ericson2314 2y ago
> CSV is dynamically typed
No, CSV is dependently typed. Way cooler ;)
I wrote something about this https://github.com/Ericson2314/baccumulation/blob/main/database/hierarchical-csv.md https://github.com/Ericson2314/baccumulation/blob/main/datab...