Giters

omelkonian / setup-agda-test

Home Page:https://omelkonian.github.io/setup-agda-test

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

https://omelkonian.github.io/setup-agda-test

Languages

Language:Agda 100.0%