universe-base-1.0: A class for finite and recursively enumerable types and some helper functions for enumerating them

universe-base-1.0: A class for finite and recursively enumerable types and some helper functions for enumerating them

A class for finite and recursively enumerable types and some helper functions for enumerating them

Modules