1 repository on SrcLog
Add it to a GitHub README or profile β the card updates as the ranking changes:
An interpreter of Hagino's Categorical Programming Language (CPL).