Artifact Details Title SetL2 Source Code Catalog Number 102803655 Type Software Description SETL2 source code written by W. Kirk Snyder. This is part of the SETL, short for Set Theoretic Language, collection brought in by Paul McJones. Author Snyder, W. Kirk Extent 1 file Format TGZ file Category Programming/Code/Source Credit Gift of Salvatore Paxia Lot Number 2022.0030