GitHub repository: robsimmons/agda-typescript-starter
Primary language: JavaScript
Created: 2022-07-27T23:03:18Z
Description: An attempt at relatively straightforward integration of Agda into a Typescript project