Commit 3c390383 authored by Carlos Tomé Cortiñas's avatar Carlos Tomé Cortiñas
Browse files

Refactor agda/base.nix to use HelloWorld.agda file

parent fc65416f

nixos/tests/agda/base.nix

+1 −7
Original line number Diff line number Diff line 
{ pkgs, ... }:



let

  hello-world = pkgs.writeText "hello-world" ''

    {-# OPTIONS --guardedness #-}

    open import IO

    open import Level



    main = run {0ℓ} (putStrLn "Hello World!")

  '';

  hello-world = ./files/HelloWorld.agda;

in

{

  name = "agda";