Blog post on json-data-encoding
I am unsure whether to include a note on using the Axiom in list_map to transfer the properties of length 12 as I think it can be proven but I don't have a proof as of yet.
Edited by 7A1T
I am unsure whether to include a note on using the Axiom in list_map to transfer the properties of length 12 as I think it can be proven but I don't have a proof as of yet.