diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2022-06-04 12:47:24 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2022-06-04 12:47:24 +0100 |
| commit | 90cc6afa6af2472b24fd6f1e4fc710b8dad462b9 (patch) | |
| tree | 77f7ac78cdfdb562f8b2f4d19f70dd6d9d9002bd | |
Initial commit.
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | README.org | 1 | ||||
| -rw-r--r-- | bidir.agda-lib | 3 | ||||
| -rw-r--r-- | manifest.scm | 28 |
4 files changed, 33 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..e35d885 --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +_build diff --git a/README.org b/README.org new file mode 100644 index 0000000..ba26060 --- /dev/null +++ b/README.org @@ -0,0 +1 @@ +#+title: bidir diff --git a/bidir.agda-lib b/bidir.agda-lib new file mode 100644 index 0000000..04c7483 --- /dev/null +++ b/bidir.agda-lib @@ -0,0 +1,3 @@ +name: bidir +depend: standard-library +include: src diff --git a/manifest.scm b/manifest.scm new file mode 100644 index 0000000..d8b46bd --- /dev/null +++ b/manifest.scm @@ -0,0 +1,28 @@ +(use-modules (gnu packages agda) + (guix build-system gnu) + (guix gexp) + (guix git-download) + ((guix licenses) #:prefix license:) + (guix packages) + (yellowsquid packages agda) + (yellowsquid build-system agda)) +(define %source-dir (dirname (current-filename))) + +(define-public agda-stdlib-2.0 + (package + (inherit agda-stdlib-1.7) + (name "agda-stdlib") + (version "2.0") + (home-page "https://github.com/agda/agda-stdlib") + (source (origin + (method git-fetch) + (uri (git-reference (url home-page) + (commit "6e79234dcd47b7ca1d232b16c9270c33ff42fb84"))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0n1xksqz0d2vxd4l45mxkab2j9hz9g291zgkjl76h5cn0p9wylk3")))))) + +(packages->manifest + (list agda + agda-stdlib-2.0)) |