caryoscelus/agda

Autor	SHA1 Mensaxe	Data
Andreas Abel	f220dda262 [ Makefile ] include InternalTests in lines-of-code counting for test [ci skip]	%!s(int64=6) %!d(string=hai) anos
Andreas Abel	e9bdbf5175 [ loc ] exclude test/bugs	%!s(int64=8) %!d(string=hai) anos
Andreas Abel	a87cc80605 Lines of code also for .agda files (size of testsuite).	%!s(int64=9) %!d(string=hai) anos