[Oberon] Zonnon

Jack Johnson knapjack at gmail.com
Tue Mar 28 06:29:50 CEST 2006

On 3/27/06, Douglas G. Danforth <danforth at greenwoodfarm.com> wrote:
> Now, here is what I would really like to see in a computer language:
> Automatic implementation of mathematical theories that I write using a pen.
> I assume this is still many decades in the future.

This is the closest I've seen:



More information about the Oberon mailing list