Aarhus/Copenhagen - will have funding for a startup by november

[labrat]

If you are excited about alternative mathematics and want to code in Idris - please contact me at https://www.linkedin.com/in/norregaarden/

you may also contact me at norregaarden@pm.me