[FrozenVoid]

For anyone interested there is repo(by the author) on github with the copy of code: https://github.com/granstrom/intuitionistic

[kwhitefoot]

Last commit nine years ago. Looks like the project is dead. Shame, sounded interesting.

[tpoacher]

I read this in Trump's voice for some reason.

[kwhitefoot]

There's a thesis in psychoanalysis in there somewhere!