GitHub repository: karljakoblarsson/IdrisToAgda
Primary language: TeX
Created: 2019-04-03T14:04:45Z
Description: A master thesis project implementing a Idris to Agda transpiler.