Deep Inference Combinators
An experimental parser, typechecker and interpreter for an experimental language based on a deep inference system for intuitionistic logic.
https://sirius.bfh.ch/~kai/Papers/2008aidis.pdf
An experimental parser, typechecker and interpreter for an experimental language based on a deep inference system for intuitionistic logic.
https://sirius.bfh.ch/~kai/Papers/2008aidis.pdf
Standard MoltPulse indexed agent.