# actually some of these do have reference distributions
+ type: Programming Language
+ computational-class: Turing-complete
+ specification-link: esowiki
+ development-stage: mature
+ Aubergine is an esolang -- perhaps nothing spectacular, but somewhat cute.
+ implementation-type: interpreter
+ I implemented Aubergine because the reference interpreter is buggy and
+ I wanted a version that actually implemented the unbounded integers that
+ the language description suggests. After implementing it, I was familiar
+ enough with it to write a sketch of a proof of its [[Turing-complete]]ness.
+ - Cat's Eye Technologies
+ download-link: http://esolangs.org/wiki/Aubergine/aubergine.hs
type: Programming Language