UNPKG

escoc

Version:

A nano proof language.

github.com/maiavictor/ESCoC

maiavictor/ESCoC

23 files

	Filename	Content Type	Size
	.Aff.agda.vim	application/octet-stream	212 B
	.foo.agda.vim	application/octet-stream	126 B
	Aff.agda	application/octet-stream	1 kB
	Aff.agdai	application/octet-stream	13.1 kB
	LICENSE	text/plain	1.07 kB
	README.md	text/markdown	10.1 kB
	escoc.hs	application/octet-stream	1.71 kB
	escoc.js	text/javascript	14.8 kB
	escoc__.js	text/javascript	16.8 kB
	escoc_crazy_lazy.js	text/javascript	15.8 kB
	escoc_crazy_recursive.js	text/javascript	15.8 kB
	escoc_old.js	text/javascript	17.6 kB
	foo.agda	application/octet-stream	171 B
	foo.agdai	application/octet-stream	2.79 kB
	foo.hs	application/octet-stream	111 B
	main.escoc	application/octet-stream	14.8 kB
	main.js	text/javascript	1.04 kB
	main_.escoc	application/octet-stream	6.85 kB
	niceee.js	text/javascript	20.1 kB
	omg_escoc.js	text/javascript	16.6 kB
	omg_log	application/octet-stream	13.7 kB
	package.json	application/json	619 B
	tmp_aaaaaaaaaaa.js	text/javascript	19.9 kB

About

github.com/maiavictor/ESCoC

maiavictor/ESCoC

Releases

7 years ago