summaryrefslogtreecommitdiffhomepage
path: root/resources
diff options
context:
space:
mode:
Diffstat (limited to 'resources')
-rw-r--r--resources/pug/finals/clean.pug9
1 files changed, 8 insertions, 1 deletions
diff --git a/resources/pug/finals/clean.pug b/resources/pug/finals/clean.pug
index ce25e4d..4bac9de 100644
--- a/resources/pug/finals/clean.pug
+++ b/resources/pug/finals/clean.pug
@@ -27,7 +27,6 @@ block content
h2 Tools
ul
- +item('https://hub.docker.com/r/camilstaps/clean', 'camilstaps/clean', 'Docker images')
+githubItem('camilstaps', 'iClean', 'interactive shell')
+item('https://cloogle.org', 'Cloogle', 'search engine')
@@ -42,6 +41,14 @@ block content
+githubItem('timjs', 'atom-language-clean', 'Atom highlighting support')
+githubItem('W95Psp', 'CleanForVSCode', 'an extension for VSCode')
+ h2 Distributions
+ ul
+ +item('ftp://ftp.cs.ru.nl/pub/Clean/builds/', 'ftp.cs.ru.nl/pub/Clean/builds/', 'official nightlies')
+ +item('https://hub.docker.com/r/camilstaps/clean', 'camilstaps/clean', 'Docker images')
+ +item('https://files.martlubbers.net/clean/', 'files.martlubbers.net/clean', 'nightlies with memory')
+ +item('https://ftp.cs.ru.nl/Clean/Clean24/', 'ftp.cs.ru.nl/Clean/Clean24', 'the official Clean 2.4 distribution')
+ +item('https://ftp.cs.ru.nl/Clean/nightly/', 'ftp.cs.ru.nl/Clean/nightly', 'some older iTasks distributions')
+
h2 Homework
ul
li