GitHub repository: JonPRL/sml-telescopes
Primary language: Standard ML
Description: an abstract data type for telescopes