GitHub repository: sano-jin/cam-on-lmntal
Created: 2020-09-20T08:55:31Z
Description: Categorical Abstract Machine on LMNtal