summaryrefslogtreecommitdiffstats
path: root/nixos/tests/agda/files
ModeNameSize
-rw-r--r--HelloWorld.agda108logstatsplain
-rw-r--r--TrivialBackend.hs81logstatsplain
generated by cgit v1.3.1 (git 2.54.0) at 2026-09-19 11:50:05 -0400