UNPKG

agda-check

Version:

A command-line tool to check Agda files and goals

github.com/Lorenzobattistela/agda-check

Lorenzobattistela/agda-check

3 files

	Filename	Content Type	Size
	README.md	text/markdown	1.26 kB
	agda-check.js	text/javascript	10.6 kB
	package.json	application/json	783 B

About

github.com/Lorenzobattistela/agda-check

Lorenzobattistela/agda-check

Releases

last year