The idea of axiomatizing programming is very appealing to me.
But it's not clear to me what improvements arc makes over lisp. And it seems close to dead.
I'd like to invest the time in learning. But realistically it seems infeasible given my timeline and paucity of resources/size of the community.
