diff options
Diffstat (limited to 'resources')
| -rw-r--r-- | resources/pug/finals/clean.pug | 9 |
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 |