Manuel Bärenz 65fcd698bb nixosTests.agda: Adapt to --guardedness requirements ...

The one-line test is hard to fix in a readable manner
and doesn't really add value above the hello-world test.
So rather simplify to reduce maintenance.

2021-07-15 10:25:44 +02:00

1.3 KiB

Raw Blame History

View Raw