GitHub repository: uedatakumi/atrs
Primary language: Haskell
Created: 2021-06-16T07:57:12Z
Description: Applicative TRS