GitHub repository: JonPRL/sml-red-jonprl
Primary language: Standard ML
Created: 2016-01-05T05:08:27Z
Description: Decisively Smash the Formalist Clique!—The People's Refinement Logic