electrod

Formal analysis for the Electrod formal pivot language
IN THIS PACKAGE
class virtual +'a recursor : object ... end