···

       
3
       
 
       
let

     

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

     

       
5
       
 
       
    open import IO

     

       
0
       
 
       

     

       
6
       
 
       


     

       
7
       
-
       
    main = run(putStrLn "Hello World!")

     

       
8
       
 
       
  '';

     

       
9
       
 
       
in

     

       
10
       
 
       
{

     

···

       
3
       
 
       
let

     

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

     

       
5
       
 
       
    open import IO

     

       
6
       
+
       
    open import Level

     

       
7
       
 
       


     

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

     

       
9
       
 
       
  '';

     

       
10
       
 
       
in

     

       
11
       
 
       
{

     

···

       
1
       
 
       
# Builder for Agda packages.

     

       
2
       
 
       


     

       
3
       
-
       
{ stdenv, lib, self, Agda, runCommandNoCC, makeWrapper, writeText, mkShell, ghcWithPackages }:

     

       
4
       
 
       


     

       
5
       
 
       
with lib.strings;

     

       
6
       
 
       


     
···

       
18
       
 
       
  in runCommandNoCC "${pname}-${version}" {

     

       
19
       
 
       
    inherit pname version;

     

       
20
       
 
       
    nativeBuildInputs = [ makeWrapper ];

     

       
21
       
-
       
    passthru.unwrapped = Agda;

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
22
       
 
       
  } ''

     

       
23
       
 
       
    mkdir -p $out/bin

     

       
24
       
 
       
    makeWrapper ${Agda}/bin/agda $out/bin/agda \

     

···

       
1
       
 
       
# Builder for Agda packages.

     

       
2
       
 
       


     

       
3
       
+
       
{ stdenv, lib, self, Agda, runCommandNoCC, makeWrapper, writeText, mkShell, ghcWithPackages, nixosTests }:

     

       
4
       
 
       


     

       
5
       
 
       
with lib.strings;

     

       
6
       
 
       


     
···

       
18
       
 
       
  in runCommandNoCC "${pname}-${version}" {

     

       
19
       
 
       
    inherit pname version;

     

       
20
       
 
       
    nativeBuildInputs = [ makeWrapper ];

     

       
21
       
+
       
    passthru = {

     

       
22
       
+
       
      unwrapped = Agda;

     

       
23
       
+
       
      tests = { inherit (nixosTests) agda; };

     

       
24
       
+
       
    };

     

       
25
       
 
       
  } ''

     

       
26
       
 
       
    mkdir -p $out/bin

     

       
27
       
 
       
    makeWrapper ${Agda}/bin/agda $out/bin/agda \

     

···

       
1
       
-
       
{ lib, mkDerivation, fetchFromGitHub, ghcWithPackages }:

     

       
2
       
 
       


     

       
3
       
 
       
mkDerivation rec {

     

       
4
       
 
       
  pname = "standard-library";

     
···

       
19
       
 
       
    rm EverythingSafe.agda EverythingSafeGuardedness.agda EverythingSafeSizedTypes.agda

     

       
20
       
 
       
  '';

     

       
21
       
 
       


     

       
0
       
 
       

     

       
22
       
 
       
  meta = with lib; {

     

       
23
       
 
       
    homepage = "https://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary";

     

       
24
       
 
       
    description = "A standard library for use with the Agda compiler";

     

···

       
1
       
+
       
{ lib, mkDerivation, fetchFromGitHub, ghcWithPackages, nixosTests }:

     

       
2
       
 
       


     

       
3
       
 
       
mkDerivation rec {

     

       
4
       
 
       
  pname = "standard-library";

     
···

       
19
       
 
       
    rm EverythingSafe.agda EverythingSafeGuardedness.agda EverythingSafeSizedTypes.agda

     

       
20
       
 
       
  '';

     

       
21
       
 
       


     

       
22
       
+
       
  passthru.tests = { inherit (nixosTests) agda; };

     

       
23
       
 
       
  meta = with lib; {

     

       
24
       
 
       
    homepage = "https://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary";

     

       
25
       
 
       
    description = "A standard library for use with the Agda compiler";