Add Agda support in sloc

flosse / sloc

simple tool to count SLOC (source lines of code)

MIT License

943 stars 84 forks source link

Closed pnlph closed 4 years ago

pnlph commented 5 years ago

Adding support for Agda, a dependently typed functional programming language and proof assistant.

Same syntax as Haskell regarding sloc.

pnlph commented 4 years ago

Hi @flosse do you still maintain this repository?

flosse commented 4 years ago

I'm sorry, I was busy.

Hi @flosse do you still maintain this repository?

see #99