GitHub repository: nakamin/logic2020
Primary language: PureScript
Created: 2019-08-13T23:12:25Z
Description: Implementation of logic2010 upgrade from HCI course