syndicate-lang
/
syndicate-2017
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
The version of Syndicate current at the conclusion of Tony Garnock-Jones's PhD research, end-of-2017/start-of-2018.
79 Commits 30 Branches 3 Tags 44 MiB
Racket 79.4%
JavaScript 15.8%
Haskell 1.7%
JetBrains MPS 1.5%
HTML 0.9%
Other 0.7%
Go to file
Tony Garnock-Jones 865b3ae8a1 Installation instructions 2018-06-01 10:03:59 +01:00
_includes Per-page custom stylesheet additions 2018-06-01 09:42:10 +01:00
_layouts Progress 2016-04-01 14:33:58 -04:00
dist Update 2018-03-27 22:25:20 +13:00
examples Update 2018-03-27 22:25:20 +13:00
img Source code snapshot 2018-01-24 12:54:15 +00:00
install Installation instructions 2018-06-01 10:03:59 +01:00
papers Dissertation resources 2018-01-17 15:13:08 +00:00
third-party Update js examples. 2016-04-06 18:33:56 +02:00
tonyg-dissertation Update rendered version of dissertation after rendering fixes 2018-02-02 10:18:01 +00:00
.gitignore Ignore _site 2016-04-01 18:58:23 -04:00
CNAME Create CNAME 2018-05-03 09:22:14 +01:00
_config.yml Better organisation; examples; ESOP2014 2016-04-04 05:13:46 +02:00
code.md Alter banner colours 2016-04-01 15:30:14 -04:00
index.md Installation instructions 2018-06-01 10:03:59 +01:00
style.css Installation instructions 2018-06-01 10:03:59 +01:00