Topology

Stefan Friedrich

26 April 2004

Abstract

This entry contains two theories. The first, Topology, develops the basic notions of general topology. The second, which can be viewed as a demonstration of the first, is called LList_Topology. It develops the topology of lazy lists.
BSD License

Depends On

Topics

Theories