Logic, prior to universals
This commit is contained in:
wadler
commit
6beb810138
2 changed files with 136 additions and 118 deletions
233
Gemfile.lock
233
Gemfile.lock
|
|
@ -1,182 +1,221 @@
|
||||||
GEM
|
GEM
|
||||||
remote: https://rubygems.org/
|
remote: https://rubygems.org/
|
||||||
specs:
|
specs:
|
||||||
activesupport (4.2.8)
|
activesupport (4.2.9)
|
||||||
i18n (~> 0.7)
|
i18n (~> 0.7)
|
||||||
minitest (~> 5.1)
|
minitest (~> 5.1)
|
||||||
thread_safe (~> 0.3, >= 0.3.4)
|
thread_safe (~> 0.3, >= 0.3.4)
|
||||||
tzinfo (~> 1.1)
|
tzinfo (~> 1.1)
|
||||||
addressable (2.5.1)
|
addressable (2.5.2)
|
||||||
public_suffix (~> 2.0, >= 2.0.2)
|
public_suffix (>= 2.0.2, < 4.0)
|
||||||
coffee-script (2.4.1)
|
coffee-script (2.4.1)
|
||||||
coffee-script-source
|
coffee-script-source
|
||||||
execjs
|
execjs
|
||||||
coffee-script-source (1.12.2)
|
coffee-script-source (1.11.1)
|
||||||
colorator (1.1.0)
|
colorator (1.1.0)
|
||||||
ethon (0.10.1)
|
commonmarker (0.17.7.1)
|
||||||
|
ruby-enum (~> 0.5)
|
||||||
|
concurrent-ruby (1.0.5)
|
||||||
|
ethon (0.11.0)
|
||||||
ffi (>= 1.3.0)
|
ffi (>= 1.3.0)
|
||||||
execjs (2.7.0)
|
execjs (2.7.0)
|
||||||
faraday (0.12.1)
|
faraday (0.14.0)
|
||||||
multipart-post (>= 1.2, < 3)
|
multipart-post (>= 1.2, < 3)
|
||||||
ffi (1.9.18)
|
ffi (1.9.18)
|
||||||
forwardable-extended (2.6.0)
|
forwardable-extended (2.6.0)
|
||||||
gemoji (3.0.0)
|
gemoji (3.0.0)
|
||||||
github-pages (140)
|
github-pages (175)
|
||||||
activesupport (= 4.2.8)
|
activesupport (= 4.2.9)
|
||||||
github-pages-health-check (= 1.3.4)
|
github-pages-health-check (= 1.3.5)
|
||||||
jekyll (= 3.4.3)
|
jekyll (= 3.6.2)
|
||||||
jekyll-avatar (= 0.4.2)
|
jekyll-avatar (= 0.5.0)
|
||||||
jekyll-coffeescript (= 1.0.1)
|
jekyll-coffeescript (= 1.0.2)
|
||||||
|
jekyll-commonmark-ghpages (= 0.1.3)
|
||||||
jekyll-default-layout (= 0.1.4)
|
jekyll-default-layout (= 0.1.4)
|
||||||
jekyll-feed (= 0.9.2)
|
jekyll-feed (= 0.9.2)
|
||||||
jekyll-gist (= 1.4.0)
|
jekyll-gist (= 1.4.1)
|
||||||
jekyll-github-metadata (= 2.3.1)
|
jekyll-github-metadata (= 2.9.3)
|
||||||
jekyll-mentions (= 1.2.0)
|
jekyll-mentions (= 1.2.0)
|
||||||
jekyll-optional-front-matter (= 0.1.2)
|
jekyll-optional-front-matter (= 0.3.0)
|
||||||
jekyll-paginate (= 1.1.0)
|
jekyll-paginate (= 1.1.0)
|
||||||
jekyll-readme-index (= 0.1.0)
|
jekyll-readme-index (= 0.2.0)
|
||||||
jekyll-redirect-from (= 0.12.1)
|
jekyll-redirect-from (= 0.12.1)
|
||||||
jekyll-relative-links (= 0.4.0)
|
jekyll-relative-links (= 0.5.2)
|
||||||
|
jekyll-remote-theme (= 0.2.3)
|
||||||
jekyll-sass-converter (= 1.5.0)
|
jekyll-sass-converter (= 1.5.0)
|
||||||
jekyll-seo-tag (= 2.2.3)
|
jekyll-seo-tag (= 2.3.0)
|
||||||
jekyll-sitemap (= 1.0.0)
|
jekyll-sitemap (= 1.1.1)
|
||||||
jekyll-swiss (= 0.4.0)
|
jekyll-swiss (= 0.4.0)
|
||||||
jekyll-theme-architect (= 0.0.4)
|
jekyll-theme-architect (= 0.1.0)
|
||||||
jekyll-theme-cayman (= 0.0.4)
|
jekyll-theme-cayman (= 0.1.0)
|
||||||
jekyll-theme-dinky (= 0.0.4)
|
jekyll-theme-dinky (= 0.1.0)
|
||||||
jekyll-theme-hacker (= 0.0.4)
|
jekyll-theme-hacker (= 0.1.0)
|
||||||
jekyll-theme-leap-day (= 0.0.4)
|
jekyll-theme-leap-day (= 0.1.0)
|
||||||
jekyll-theme-merlot (= 0.0.4)
|
jekyll-theme-merlot (= 0.1.0)
|
||||||
jekyll-theme-midnight (= 0.0.4)
|
jekyll-theme-midnight (= 0.1.0)
|
||||||
jekyll-theme-minimal (= 0.0.4)
|
jekyll-theme-minimal (= 0.1.0)
|
||||||
jekyll-theme-modernist (= 0.0.4)
|
jekyll-theme-modernist (= 0.1.0)
|
||||||
jekyll-theme-primer (= 0.2.1)
|
jekyll-theme-primer (= 0.5.2)
|
||||||
jekyll-theme-slate (= 0.0.4)
|
jekyll-theme-slate (= 0.1.0)
|
||||||
jekyll-theme-tactile (= 0.0.4)
|
jekyll-theme-tactile (= 0.1.0)
|
||||||
jekyll-theme-time-machine (= 0.0.4)
|
jekyll-theme-time-machine (= 0.1.0)
|
||||||
jekyll-titles-from-headings (= 0.1.5)
|
jekyll-titles-from-headings (= 0.5.0)
|
||||||
jemoji (= 0.8.0)
|
jemoji (= 0.8.1)
|
||||||
kramdown (= 1.13.2)
|
kramdown (= 1.16.2)
|
||||||
liquid (= 3.0.6)
|
liquid (= 4.0.0)
|
||||||
listen (= 3.0.6)
|
listen (= 3.0.6)
|
||||||
mercenary (~> 0.3)
|
mercenary (~> 0.3)
|
||||||
minima (= 2.1.1)
|
minima (= 2.1.1)
|
||||||
rouge (= 1.11.1)
|
rouge (= 2.2.1)
|
||||||
terminal-table (~> 1.4)
|
terminal-table (~> 1.4)
|
||||||
github-pages-health-check (1.3.4)
|
github-pages-health-check (1.3.5)
|
||||||
addressable (~> 2.3)
|
addressable (~> 2.3)
|
||||||
net-dns (~> 0.8)
|
net-dns (~> 0.8)
|
||||||
octokit (~> 4.0)
|
octokit (~> 4.0)
|
||||||
public_suffix (~> 2.0)
|
public_suffix (~> 2.0)
|
||||||
typhoeus (~> 0.7)
|
typhoeus (~> 0.7)
|
||||||
html-pipeline (2.6.0)
|
html-pipeline (2.7.1)
|
||||||
activesupport (>= 2)
|
activesupport (>= 2)
|
||||||
nokogiri (>= 1.4)
|
nokogiri (>= 1.4)
|
||||||
i18n (0.8.4)
|
i18n (0.9.3)
|
||||||
jekyll (3.4.3)
|
concurrent-ruby (~> 1.0)
|
||||||
|
jekyll (3.6.2)
|
||||||
addressable (~> 2.4)
|
addressable (~> 2.4)
|
||||||
colorator (~> 1.0)
|
colorator (~> 1.0)
|
||||||
jekyll-sass-converter (~> 1.0)
|
jekyll-sass-converter (~> 1.0)
|
||||||
jekyll-watch (~> 1.1)
|
jekyll-watch (~> 1.1)
|
||||||
kramdown (~> 1.3)
|
kramdown (~> 1.14)
|
||||||
liquid (~> 3.0)
|
liquid (~> 4.0)
|
||||||
mercenary (~> 0.3.3)
|
mercenary (~> 0.3.3)
|
||||||
pathutil (~> 0.9)
|
pathutil (~> 0.9)
|
||||||
rouge (~> 1.7)
|
rouge (>= 1.7, < 3)
|
||||||
safe_yaml (~> 1.0)
|
safe_yaml (~> 1.0)
|
||||||
jekyll-avatar (0.4.2)
|
jekyll-avatar (0.5.0)
|
||||||
jekyll (~> 3.0)
|
jekyll (~> 3.0)
|
||||||
jekyll-coffeescript (1.0.1)
|
jekyll-coffeescript (1.0.2)
|
||||||
coffee-script (~> 2.2)
|
coffee-script (~> 2.2)
|
||||||
|
coffee-script-source (~> 1.11.1)
|
||||||
|
jekyll-commonmark (1.1.0)
|
||||||
|
commonmarker (~> 0.14)
|
||||||
|
jekyll (>= 3.0, < 4.0)
|
||||||
|
jekyll-commonmark-ghpages (0.1.3)
|
||||||
|
commonmarker (~> 0.17.6)
|
||||||
|
jekyll-commonmark (~> 1)
|
||||||
|
rouge (~> 2)
|
||||||
jekyll-default-layout (0.1.4)
|
jekyll-default-layout (0.1.4)
|
||||||
jekyll (~> 3.0)
|
jekyll (~> 3.0)
|
||||||
jekyll-feed (0.9.2)
|
jekyll-feed (0.9.2)
|
||||||
jekyll (~> 3.3)
|
jekyll (~> 3.3)
|
||||||
jekyll-gist (1.4.0)
|
jekyll-gist (1.4.1)
|
||||||
octokit (~> 4.2)
|
octokit (~> 4.2)
|
||||||
jekyll-github-metadata (2.3.1)
|
jekyll-github-metadata (2.9.3)
|
||||||
jekyll (~> 3.1)
|
jekyll (~> 3.1)
|
||||||
octokit (~> 4.0, != 4.4.0)
|
octokit (~> 4.0, != 4.4.0)
|
||||||
jekyll-mentions (1.2.0)
|
jekyll-mentions (1.2.0)
|
||||||
activesupport (~> 4.0)
|
activesupport (~> 4.0)
|
||||||
html-pipeline (~> 2.3)
|
html-pipeline (~> 2.3)
|
||||||
jekyll (~> 3.0)
|
jekyll (~> 3.0)
|
||||||
jekyll-optional-front-matter (0.1.2)
|
jekyll-optional-front-matter (0.3.0)
|
||||||
jekyll (~> 3.0)
|
jekyll (~> 3.0)
|
||||||
jekyll-paginate (1.1.0)
|
jekyll-paginate (1.1.0)
|
||||||
jekyll-readme-index (0.1.0)
|
jekyll-readme-index (0.2.0)
|
||||||
jekyll (~> 3.0)
|
jekyll (~> 3.0)
|
||||||
jekyll-redirect-from (0.12.1)
|
jekyll-redirect-from (0.12.1)
|
||||||
jekyll (~> 3.3)
|
jekyll (~> 3.3)
|
||||||
jekyll-relative-links (0.4.0)
|
jekyll-relative-links (0.5.2)
|
||||||
jekyll (~> 3.3)
|
jekyll (~> 3.3)
|
||||||
|
jekyll-remote-theme (0.2.3)
|
||||||
|
jekyll (~> 3.5)
|
||||||
|
rubyzip (>= 1.2.1, < 3.0)
|
||||||
|
typhoeus (>= 0.7, < 2.0)
|
||||||
jekyll-sass-converter (1.5.0)
|
jekyll-sass-converter (1.5.0)
|
||||||
sass (~> 3.4)
|
sass (~> 3.4)
|
||||||
jekyll-seo-tag (2.2.3)
|
jekyll-seo-tag (2.3.0)
|
||||||
jekyll (~> 3.3)
|
jekyll (~> 3.3)
|
||||||
jekyll-sitemap (1.0.0)
|
jekyll-sitemap (1.1.1)
|
||||||
jekyll (~> 3.3)
|
jekyll (~> 3.3)
|
||||||
jekyll-swiss (0.4.0)
|
jekyll-swiss (0.4.0)
|
||||||
jekyll-theme-architect (0.0.4)
|
jekyll-theme-architect (0.1.0)
|
||||||
|
jekyll (~> 3.5)
|
||||||
|
jekyll-seo-tag (~> 2.0)
|
||||||
|
jekyll-theme-cayman (0.1.0)
|
||||||
|
jekyll (~> 3.5)
|
||||||
|
jekyll-seo-tag (~> 2.0)
|
||||||
|
jekyll-theme-dinky (0.1.0)
|
||||||
|
jekyll (~> 3.5)
|
||||||
|
jekyll-seo-tag (~> 2.0)
|
||||||
|
jekyll-theme-hacker (0.1.0)
|
||||||
|
jekyll (~> 3.5)
|
||||||
|
jekyll-seo-tag (~> 2.0)
|
||||||
|
jekyll-theme-leap-day (0.1.0)
|
||||||
|
jekyll (~> 3.5)
|
||||||
|
jekyll-seo-tag (~> 2.0)
|
||||||
|
jekyll-theme-merlot (0.1.0)
|
||||||
|
jekyll (~> 3.5)
|
||||||
|
jekyll-seo-tag (~> 2.0)
|
||||||
|
jekyll-theme-midnight (0.1.0)
|
||||||
|
jekyll (~> 3.5)
|
||||||
|
jekyll-seo-tag (~> 2.0)
|
||||||
|
jekyll-theme-minimal (0.1.0)
|
||||||
|
jekyll (~> 3.5)
|
||||||
|
jekyll-seo-tag (~> 2.0)
|
||||||
|
jekyll-theme-modernist (0.1.0)
|
||||||
|
jekyll (~> 3.5)
|
||||||
|
jekyll-seo-tag (~> 2.0)
|
||||||
|
jekyll-theme-primer (0.5.2)
|
||||||
|
jekyll (~> 3.5)
|
||||||
|
jekyll-github-metadata (~> 2.9)
|
||||||
|
jekyll-seo-tag (~> 2.2)
|
||||||
|
jekyll-theme-slate (0.1.0)
|
||||||
|
jekyll (~> 3.5)
|
||||||
|
jekyll-seo-tag (~> 2.0)
|
||||||
|
jekyll-theme-tactile (0.1.0)
|
||||||
|
jekyll (~> 3.5)
|
||||||
|
jekyll-seo-tag (~> 2.0)
|
||||||
|
jekyll-theme-time-machine (0.1.0)
|
||||||
|
jekyll (~> 3.5)
|
||||||
|
jekyll-seo-tag (~> 2.0)
|
||||||
|
jekyll-titles-from-headings (0.5.0)
|
||||||
jekyll (~> 3.3)
|
jekyll (~> 3.3)
|
||||||
jekyll-theme-cayman (0.0.4)
|
jekyll-watch (1.5.1)
|
||||||
jekyll (~> 3.3)
|
listen (~> 3.0)
|
||||||
jekyll-theme-dinky (0.0.4)
|
jemoji (0.8.1)
|
||||||
jekyll (~> 3.3)
|
activesupport (~> 4.0, >= 4.2.9)
|
||||||
jekyll-theme-hacker (0.0.4)
|
|
||||||
jekyll (~> 3.3)
|
|
||||||
jekyll-theme-leap-day (0.0.4)
|
|
||||||
jekyll (~> 3.3)
|
|
||||||
jekyll-theme-merlot (0.0.4)
|
|
||||||
jekyll (~> 3.3)
|
|
||||||
jekyll-theme-midnight (0.0.4)
|
|
||||||
jekyll (~> 3.3)
|
|
||||||
jekyll-theme-minimal (0.0.4)
|
|
||||||
jekyll (~> 3.3)
|
|
||||||
jekyll-theme-modernist (0.0.4)
|
|
||||||
jekyll (~> 3.3)
|
|
||||||
jekyll-theme-primer (0.2.1)
|
|
||||||
jekyll (~> 3.3)
|
|
||||||
jekyll-theme-slate (0.0.4)
|
|
||||||
jekyll (~> 3.3)
|
|
||||||
jekyll-theme-tactile (0.0.4)
|
|
||||||
jekyll (~> 3.3)
|
|
||||||
jekyll-theme-time-machine (0.0.4)
|
|
||||||
jekyll (~> 3.3)
|
|
||||||
jekyll-titles-from-headings (0.1.5)
|
|
||||||
jekyll (~> 3.3)
|
|
||||||
jekyll-watch (1.5.0)
|
|
||||||
listen (~> 3.0, < 3.1)
|
|
||||||
jemoji (0.8.0)
|
|
||||||
activesupport (~> 4.0)
|
|
||||||
gemoji (~> 3.0)
|
gemoji (~> 3.0)
|
||||||
html-pipeline (~> 2.2)
|
html-pipeline (~> 2.2)
|
||||||
jekyll (>= 3.0)
|
jekyll (>= 3.0)
|
||||||
kramdown (1.13.2)
|
kramdown (1.16.2)
|
||||||
liquid (3.0.6)
|
liquid (4.0.0)
|
||||||
listen (3.0.6)
|
listen (3.0.6)
|
||||||
rb-fsevent (>= 0.9.3)
|
rb-fsevent (>= 0.9.3)
|
||||||
rb-inotify (>= 0.9.7)
|
rb-inotify (>= 0.9.7)
|
||||||
mercenary (0.3.6)
|
mercenary (0.3.6)
|
||||||
mini_portile2 (2.2.0)
|
mini_portile2 (2.3.0)
|
||||||
minima (2.1.1)
|
minima (2.1.1)
|
||||||
jekyll (~> 3.3)
|
jekyll (~> 3.3)
|
||||||
minitest (5.10.2)
|
minitest (5.11.2)
|
||||||
multipart-post (2.0.0)
|
multipart-post (2.0.0)
|
||||||
net-dns (0.8.0)
|
net-dns (0.8.0)
|
||||||
nokogiri (1.8.0)
|
nokogiri (1.8.1)
|
||||||
mini_portile2 (~> 2.2.0)
|
mini_portile2 (~> 2.3.0)
|
||||||
octokit (4.7.0)
|
octokit (4.8.0)
|
||||||
sawyer (~> 0.8.0, >= 0.5.3)
|
sawyer (~> 0.8.0, >= 0.5.3)
|
||||||
pathutil (0.14.0)
|
pathutil (0.16.1)
|
||||||
forwardable-extended (~> 2.6)
|
forwardable-extended (~> 2.6)
|
||||||
public_suffix (2.0.5)
|
public_suffix (2.0.5)
|
||||||
rb-fsevent (0.9.8)
|
rb-fsevent (0.10.2)
|
||||||
rb-inotify (0.9.10)
|
rb-inotify (0.9.10)
|
||||||
ffi (>= 0.5.0, < 2)
|
ffi (>= 0.5.0, < 2)
|
||||||
rouge (1.11.1)
|
rouge (2.2.1)
|
||||||
|
ruby-enum (0.7.1)
|
||||||
|
i18n
|
||||||
|
rubyzip (1.2.1)
|
||||||
safe_yaml (1.0.4)
|
safe_yaml (1.0.4)
|
||||||
sass (3.4.24)
|
sass (3.5.0)
|
||||||
|
sass-listen (~> 3.0.7)
|
||||||
|
sass-listen (3.0.7)
|
||||||
|
rb-fsevent (>= 0.9.3)
|
||||||
|
rb-inotify (>= 0.9.7)
|
||||||
sawyer (0.8.1)
|
sawyer (0.8.1)
|
||||||
addressable (>= 2.3.5, < 2.6)
|
addressable (>= 2.3.5, < 2.6)
|
||||||
faraday (~> 0.8, < 1.0)
|
faraday (~> 0.8, < 1.0)
|
||||||
|
|
@ -185,7 +224,7 @@ GEM
|
||||||
thread_safe (0.3.6)
|
thread_safe (0.3.6)
|
||||||
typhoeus (0.8.0)
|
typhoeus (0.8.0)
|
||||||
ethon (>= 0.8.0)
|
ethon (>= 0.8.0)
|
||||||
tzinfo (1.2.3)
|
tzinfo (1.2.4)
|
||||||
thread_safe (~> 0.1)
|
thread_safe (~> 0.1)
|
||||||
unicode-display_width (1.3.0)
|
unicode-display_width (1.3.0)
|
||||||
|
|
||||||
|
|
@ -199,4 +238,4 @@ DEPENDENCIES
|
||||||
tzinfo-data
|
tzinfo-data
|
||||||
|
|
||||||
BUNDLED WITH
|
BUNDLED WITH
|
||||||
1.15.0
|
1.16.1
|
||||||
|
|
|
||||||
21
LICENSE
21
LICENSE
|
|
@ -1,21 +0,0 @@
|
||||||
MIT License
|
|
||||||
|
|
||||||
Copyright (c) 2017 Pepijn Kokke
|
|
||||||
|
|
||||||
Permission is hereby granted, free of charge, to any person obtaining a copy
|
|
||||||
of this software and associated documentation files (the "Software"), to deal
|
|
||||||
in the Software without restriction, including without limitation the rights
|
|
||||||
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
|
|
||||||
copies of the Software, and to permit persons to whom the Software is
|
|
||||||
furnished to do so, subject to the following conditions:
|
|
||||||
|
|
||||||
The above copyright notice and this permission notice shall be included in all
|
|
||||||
copies or substantial portions of the Software.
|
|
||||||
|
|
||||||
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
|
||||||
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
|
||||||
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
|
|
||||||
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
|
||||||
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
|
||||||
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
|
|
||||||
SOFTWARE.
|
|
||||||
Loading…
Reference in a new issue