From da0f4a365bdd25449047c1276c47e8e0a107badb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Frederik=20Hangh=C3=B8j=20Iversen?= Date: Fri, 10 Nov 2017 17:08:38 +0100 Subject: [PATCH] Add README --- README.md | 24 ++++++++++++++++++++++++ cat.agda-lib | 1 + 2 files changed, 25 insertions(+) create mode 100644 README.md diff --git a/README.md b/README.md new file mode 100644 index 0000000..9b3a8a7 --- /dev/null +++ b/README.md @@ -0,0 +1,24 @@ +Description +=========== +This project includes code as well as my masters thesis (currently just +consisting of the proposal for the thesis). + +Installation +============ +You probably need a very recent version of the Agda compiler. At the time +of writing the solution has been tested with Agda version 2.6.0-9af3e07. + +Dependencies +------------ +I've used git submodules to manage dependencies. Unfortunately Agda does not +allow specifying libraries to be used only as local dependencies. + +You can let Agda know about these libraries by appending them to your global +libraries file like so: (NB!: There is a good reason this is not in a +makefile. So please verify that you know what you are doing, you probably +already have standard-library in you libraries) + + AGDA_LIB=~/.agda + readlink -f libs/*/*.agda-lib | tee -a $AGDA_LIB/libraries + +Anyways, assuming you have this set up you should be good to go. diff --git a/cat.agda-lib b/cat.agda-lib index 408b054..b0d67b6 100644 --- a/cat.agda-lib +++ b/cat.agda-lib @@ -1,4 +1,5 @@ name: cat +-- version: 0.0.1 -- description: -- A formalization of category theory in Agda using cubical type theory. depend: