path: root/nixos/tests/agda/default.nix

{ runTest }:
{
  base = runTest ./base.nix;
  override-with-backend = runTest ./override-with-backend.nix;
}