/cost-calculisp-v2

second version of cost-calculisp, complete re-engineering of code generation facilities.

Primary LanguageCommon LispMIT LicenseMIT

Cost calculus is a process calculus for 'super turing' computation devised by Dr. Eugene Eberbach. It is intended to be the next step after process calculii such as pi-calculus.  This is a git repo of my master's project to implement it in Common Lisp as a DSL. More to come...