From ad732ec226a595240adf255523f0518ceadd12cd Mon Sep 17 00:00:00 2001 From: Wen Kokke Date: Sat, 26 May 2018 17:35:15 +0100 Subject: [PATCH 1/6] Fixed Makefile --- Makefile | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/Makefile b/Makefile index 6c236fe5..6af624ac 100644 --- a/Makefile +++ b/Makefile @@ -33,10 +33,7 @@ endif # remove all generated files clobber: clean ruby -S bundle exec jekyll clean -ifneq ($(strip $(markdown)),) - rm $(markdown) -endif - rmdir out/ + rm -rf out/ # install bundler, and gem dependencies macos-setup: From d08d9ebb1ea993ea163b8c6a8d52417ef458e2d8 Mon Sep 17 00:00:00 2001 From: Wen Kokke Date: Sat, 26 May 2018 17:36:25 +0100 Subject: [PATCH 2/6] Added Jekyll build to the .travis.yml setup --- .travis.yml | 11 +---------- 1 file changed, 1 insertion(+), 10 deletions(-) diff --git a/.travis.yml b/.travis.yml index 98c70afc..c1c2bbf1 100644 --- a/.travis.yml +++ b/.travis.yml @@ -22,15 +22,6 @@ addons: - libgmp-dev - libicu-dev -# Configure recipients for notifications -notifications: - email: - recipients: - - wen.kokke@ed.ac.uk - - wadler@inf.ed.ac.uk - on_success: never - on_failure: always - before_install: # Download and unpack the stack executable - mkdir -p ~/.local/bin @@ -40,7 +31,7 @@ before_install: - make travis-setup script: -- make +- make build before_deploy: - rm -rf .bundle From 5f8d0a240b8196e909f0972e5702739cfc089352 Mon Sep 17 00:00:00 2001 From: Wen Kokke Date: Sat, 26 May 2018 17:38:34 +0100 Subject: [PATCH 3/6] Moved Typed.lagda to Typed.lagda.broken --- src/{Typed.lagda => Typed.lagda.broken} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename src/{Typed.lagda => Typed.lagda.broken} (100%) diff --git a/src/Typed.lagda b/src/Typed.lagda.broken similarity index 100% rename from src/Typed.lagda rename to src/Typed.lagda.broken From 9e03e65a40d967b540d98dda72981b51694405d7 Mon Sep 17 00:00:00 2001 From: Wen Kokke Date: Sat, 26 May 2018 18:11:43 +0100 Subject: [PATCH 4/6] Removed Jekyll build from .travis.yml --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index c1c2bbf1..ff368391 100644 --- a/.travis.yml +++ b/.travis.yml @@ -31,7 +31,7 @@ before_install: - make travis-setup script: -- make build +- make before_deploy: - rm -rf .bundle From 01390f29c5267703b2d8f2316627c29e2a7713f2 Mon Sep 17 00:00:00 2001 From: Wen Kokke Date: Sat, 26 May 2018 18:33:00 +0100 Subject: [PATCH 5/6] Removed Agda.scss --- _sass/Agda.scss | 55 ------------------------------------------------- 1 file changed, 55 deletions(-) delete mode 100644 _sass/Agda.scss diff --git a/_sass/Agda.scss b/_sass/Agda.scss deleted file mode 100644 index 233a0b5a..00000000 --- a/_sass/Agda.scss +++ /dev/null @@ -1,55 +0,0 @@ -// Define variables for code formatting - -$code-font-family: Source Code Pro, Menlo, DejaVu Sans Mono, Bitstream Vera Sans Mono, Consolas, Monaco, Lucida Console, Liberation Mono, Courier New, monospace, serif; - -/* Code. */ -.highlight { - font-family: $code-font-family; -} - -/* Agda. */ -.Agda { - padding: .4em .4em; - background: #e8f2fb; - border: 1px solid #c9e1f6; - border-radius: 3px; - font-family: $code-font-family; - font-size: .85em; } - -.Spec { - border: 1px dashed hsl(208,71%,71%) !important; - } - -/* Aspects. */ -.Comment { color: #B22222 } -.Keyword { color: #CD6600 } -.String { color: #B22222 } -.Number { color: #A020F0 } -.Symbol { color: #404040 } -.PrimitiveType { color: #0000CD } -.Operator {} - -/* NameKinds. */ -.Bound { color: black } -.InductiveConstructor { color: #008B00 } -.CoinductiveConstructor { color: #8B7500 } -.Datatype { color: #0000CD } -.Field { color: #EE1289 } -.Function { color: #0000CD } -.Module { color: #A020F0 } -.Postulate { color: #0000CD } -.Primitive { color: #0000CD } -.Record { color: #0000CD } - -/* OtherAspects. */ -.DottedPattern {} -.UnsolvedMeta { color: black; background: yellow } -.UnsolvedConstraint { color: black; background: yellow } -.TerminationProblem { color: black; background: #FFA07A } -.IncompletePattern { color: black; background: #F5DEB3 } -.Error { color: red; text-decoration: underline } -.TypeChecks { color: black; background: #ADD8E6 } - -/* Standard attributes. */ -.Agda a { text-decoration: none } -.Agda a[href]:hover { background-color: #B4EEB4 } From 5b0c946f0b3a0dd852ce5054827baca4ef1e83bb Mon Sep 17 00:00:00 2001 From: Wen Kokke Date: Sat, 26 May 2018 18:33:19 +0100 Subject: [PATCH 6/6] Added agda.scss --- _sass/agda.scss | 55 +++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 55 insertions(+) create mode 100644 _sass/agda.scss diff --git a/_sass/agda.scss b/_sass/agda.scss new file mode 100644 index 00000000..233a0b5a --- /dev/null +++ b/_sass/agda.scss @@ -0,0 +1,55 @@ +// Define variables for code formatting + +$code-font-family: Source Code Pro, Menlo, DejaVu Sans Mono, Bitstream Vera Sans Mono, Consolas, Monaco, Lucida Console, Liberation Mono, Courier New, monospace, serif; + +/* Code. */ +.highlight { + font-family: $code-font-family; +} + +/* Agda. */ +.Agda { + padding: .4em .4em; + background: #e8f2fb; + border: 1px solid #c9e1f6; + border-radius: 3px; + font-family: $code-font-family; + font-size: .85em; } + +.Spec { + border: 1px dashed hsl(208,71%,71%) !important; + } + +/* Aspects. */ +.Comment { color: #B22222 } +.Keyword { color: #CD6600 } +.String { color: #B22222 } +.Number { color: #A020F0 } +.Symbol { color: #404040 } +.PrimitiveType { color: #0000CD } +.Operator {} + +/* NameKinds. */ +.Bound { color: black } +.InductiveConstructor { color: #008B00 } +.CoinductiveConstructor { color: #8B7500 } +.Datatype { color: #0000CD } +.Field { color: #EE1289 } +.Function { color: #0000CD } +.Module { color: #A020F0 } +.Postulate { color: #0000CD } +.Primitive { color: #0000CD } +.Record { color: #0000CD } + +/* OtherAspects. */ +.DottedPattern {} +.UnsolvedMeta { color: black; background: yellow } +.UnsolvedConstraint { color: black; background: yellow } +.TerminationProblem { color: black; background: #FFA07A } +.IncompletePattern { color: black; background: #F5DEB3 } +.Error { color: red; text-decoration: underline } +.TypeChecks { color: black; background: #ADD8E6 } + +/* Standard attributes. */ +.Agda a { text-decoration: none } +.Agda a[href]:hover { background-color: #B4EEB4 }