Home Explore Help
Sign In
caryoscelus
/
agda
Watch 1
Star 0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Branch: js_amd_patch
Branches Tags

Commit History

Author SHA1 Message Date
  Andreas Abel f220dda262 [ Makefile ] include InternalTests in lines-of-code counting for test [ci skip] 6 years ago
  Andreas Abel e9bdbf5175 [ loc ] exclude test/bugs 8 years ago
  Andreas Abel a87cc80605 Lines of code also for .agda files (size of testsuite). 9 years ago