codestats 0.6.0

A CLI tool for analyzing code statistics across different programming languages
1
2
3
4
5
6
7
8
9
10

-- expect: total=10 code=5 comment=2 blank=3 shebang=0
-- simple agda fixture

module Sample where

data Bool : Set where
	true : Bool
	false : Bool

id : Bool -> Bool