fvilante
commented
4 years ago Experimental Algebraic languages: Eff language - A language based in essencial effects - https://www.eff-lang.org/learn/
Coop Languge Practical use - https://github.com/andrejbauer/coop/blob/master/Manual.md#run-statement Paper - https://arxiv.org/pdf/1910.11629.pdf
Wolfram - http://mathworld.wolfram.com/Field.html https://www.wolframscience.com/nks/notes-12-9--axioms-for-arithmetic/
List of things to investigate when/if possible.
This is a continuos issue, to collect investigation items.