├── .gitignore ├── Gemfile ├── Gruntfile.js ├── LICENSE ├── README.md ├── _config.yml ├── _data ├── footer.yml ├── messages.yml └── navigation.yml ├── _includes ├── advertising.html ├── breadcrumbs.html ├── browser-upgrade.html ├── collection-pagination.html ├── comments.html ├── footer.html ├── header.html ├── image-credit.html ├── latest-posts-grid.html ├── latest-posts-list.html ├── navigation-sliding.html ├── navigation.html ├── open-graph.html ├── page-author.html ├── page-meta.html ├── pagination.html ├── post-grid.html ├── post-list-bullets.html ├── post-list.html ├── scroll-cue.html ├── share-this.html └── toc.html ├── _layouts ├── archive.html ├── article.html ├── default.html ├── media.html └── page.html ├── _sass ├── _animations.scss ├── _badges.scss ├── _base.scss ├── _breadcrumbs.scss ├── _bullets.scss ├── _buttons.scss ├── _footnotes.scss ├── _grid-settings.scss ├── _helpers.scss ├── _layout.scss ├── _menu-navicons.scss ├── _mixins.scss ├── _notices.scss ├── _reset.scss ├── _sliding-menu.scss ├── _syntax.scss ├── _tiles.scss ├── _toc.scss ├── _variables.scss └── vendor │ ├── bourbon │ ├── _bourbon-deprecated-upcoming.scss │ ├── _bourbon.scss │ ├── addons │ │ ├── _button.scss │ │ ├── _clearfix.scss │ │ ├── _directional-values.scss │ │ ├── _ellipsis.scss │ │ ├── _font-family.scss │ │ ├── _hide-text.scss │ │ ├── _html5-input-types.scss │ │ ├── _position.scss │ │ ├── _prefixer.scss │ │ ├── _retina-image.scss │ │ ├── _size.scss │ │ ├── _timing-functions.scss │ │ ├── _triangle.scss │ │ └── _word-wrap.scss │ ├── css3 │ │ ├── _animation.scss │ │ ├── _appearance.scss │ │ ├── _backface-visibility.scss │ │ ├── _background-image.scss │ │ ├── _background.scss │ │ ├── _border-image.scss │ │ ├── _border-radius.scss │ │ ├── _box-sizing.scss │ │ ├── _calc.scss │ │ ├── _columns.scss │ │ ├── _filter.scss │ │ ├── _flex-box.scss │ │ ├── _font-face.scss │ │ ├── _font-feature-settings.scss │ │ ├── _hidpi-media-query.scss │ │ ├── _hyphens.scss │ │ ├── _image-rendering.scss │ │ ├── _keyframes.scss │ │ ├── _linear-gradient.scss │ │ ├── _perspective.scss │ │ ├── _placeholder.scss │ │ ├── _radial-gradient.scss │ │ ├── _transform.scss │ │ ├── _transition.scss │ │ └── _user-select.scss │ ├── functions │ │ ├── _assign.scss │ │ ├── _color-lightness.scss │ │ ├── _flex-grid.scss │ │ ├── _golden-ratio.scss │ │ ├── _grid-width.scss │ │ ├── _modular-scale.scss │ │ ├── _px-to-em.scss │ │ ├── _px-to-rem.scss │ │ ├── _strip-units.scss │ │ ├── _tint-shade.scss │ │ ├── _transition-property-name.scss │ │ └── _unpack.scss │ ├── helpers │ │ ├── _convert-units.scss │ │ ├── _gradient-positions-parser.scss │ │ ├── _is-num.scss │ │ ├── _linear-angle-parser.scss │ │ ├── _linear-gradient-parser.scss │ │ ├── _linear-positions-parser.scss │ │ ├── _linear-side-corner-parser.scss │ │ ├── _radial-arg-parser.scss │ │ ├── _radial-gradient-parser.scss │ │ ├── _radial-positions-parser.scss │ │ ├── _render-gradients.scss │ │ ├── _shape-size-stripper.scss │ │ └── _str-to-num.scss │ └── settings │ │ ├── _prefixer.scss │ │ └── _px-to-em.scss │ ├── font-awesome │ ├── _animated.scss │ ├── _bordered-pulled.scss │ ├── _core.scss │ ├── _fixed-width.scss │ ├── _icons.scss │ ├── _larger.scss │ ├── _list.scss │ ├── _mixins.scss │ ├── _path.scss │ ├── _rotated-flipped.scss │ ├── _stacked.scss │ ├── _variables.scss │ └── font-awesome.scss │ └── neat │ ├── _neat-helpers.scss │ ├── _neat.scss │ ├── functions │ ├── _new-breakpoint.scss │ └── _private.scss │ ├── grid │ ├── _fill-parent.scss │ ├── _grid.scss │ ├── _media.scss │ ├── _omega.scss │ ├── _outer-container.scss │ ├── _pad.scss │ ├── _private.scss │ ├── _reset.scss │ ├── _row.scss │ ├── _shift.scss │ ├── _span-columns.scss │ ├── _to-deprecate.scss │ └── _visual-grid.scss │ └── settings │ ├── _grid.scss │ └── _visual-grid.scss ├── _templates ├── archive ├── media ├── page └── post ├── accommodation.md ├── agda-installation.md ├── apple-touch-icon-precomposed.png ├── call-for-papers.md ├── conf-slides ├── Acosta.pdf ├── Awodey.pdf ├── Bentzen.pdf ├── Bidlingmaier.pdf ├── Brunerie.pdf ├── Cagne.pdf ├── Choudhury.pdf ├── Christensen.pdf ├── Cicala.pdf ├── Coquand.pdf ├── Francese.pdf ├── Gambino.pdf ├── Helfer.pdf ├── Leena-Subramaniam.pdf ├── Lo-Monaco.pdf ├── Lynge.pdf ├── Moeneclaey.pdf ├── Mortberg.pdf ├── Myers.pdf ├── North.pdf ├── Pitts.pdf ├── Rijke.key ├── Rose.pdf ├── Sattler.pdf ├── Sestini.pdf ├── Shulman.pdf ├── Sozeau.pdf ├── Stenzel.pdf ├── Sterling.pdf ├── Swan.pdf ├── Szumilo.pdf ├── Uemura.pdf ├── Weaver.pdf ├── Weinberger.pdf ├── White.pdf ├── Zwanziger.pdf └── van-den-Berg.pdf ├── coq-additional-linux-instructions.md ├── coq-installation.md ├── css └── main.scss ├── dates.md ├── favicon.ico ├── files ├── class1.v └── class2.v ├── fonts ├── FontAwesome.otf ├── fontawesome-webfont.eot ├── fontawesome-webfont.svg ├── fontawesome-webfont.ttf ├── fontawesome-webfont.woff └── fontawesome-webfont.woff2 ├── ilyas-khan.md ├── images ├── HoTT-2019-poster.jpg ├── HoTT-2019-poster.pdf ├── HoTTdinner.png ├── HoTTreception.png ├── afosr-logo.jpg ├── apple-touch-icon-precomposed.png ├── bio-photo.jpg ├── cmu-dietrich-college-logo.jpg ├── cmu-philosophy-logo.jpg ├── cmu-philosophy-logo.png ├── conf-photo-small.jpg ├── conf-photo.jpg ├── hott-intro-rijke.pdf ├── logo-medium.png ├── logo-small.png ├── logo.png ├── mltt-rules.pdf ├── nsf-logo.png ├── semantics-bibliography.pdf ├── skinny-bones-demo.gif ├── ss-photo-small.jpg ├── ss-photo.jpg ├── ss-schedule.png ├── staircase-header.jpg ├── staircase-original.jpg └── walking-ssi.jpg ├── index.md ├── js ├── _main.js ├── main.js ├── plugins │ ├── jquery.fitvids.js │ └── jquery.visible.js └── vendor │ ├── html5shiv.min.js │ ├── jquery-1.9.1.min.js │ └── respond.min.js ├── local-information.md ├── package.json ├── participants.md ├── photos.md ├── poster.md ├── programme.md ├── registration.md ├── summer-school.md └── venue.md /.gitignore: -------------------------------------------------------------------------------- 1 | _site 2 | /Gemfile.lock 3 | .sass-cache 4 | /images/.jekyll-metadata 5 | -------------------------------------------------------------------------------- /Gemfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/Gemfile -------------------------------------------------------------------------------- /Gruntfile.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/Gruntfile.js -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/README.md -------------------------------------------------------------------------------- /_config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_config.yml -------------------------------------------------------------------------------- /_data/footer.yml: -------------------------------------------------------------------------------- 1 | # Footer navigation links 2 | 3 | - title: 4 | url: -------------------------------------------------------------------------------- /_data/messages.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_data/messages.yml -------------------------------------------------------------------------------- /_data/navigation.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_data/navigation.yml -------------------------------------------------------------------------------- /_includes/advertising.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_includes/advertising.html -------------------------------------------------------------------------------- /_includes/breadcrumbs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_includes/breadcrumbs.html -------------------------------------------------------------------------------- /_includes/browser-upgrade.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_includes/browser-upgrade.html -------------------------------------------------------------------------------- /_includes/collection-pagination.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_includes/collection-pagination.html -------------------------------------------------------------------------------- /_includes/comments.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_includes/comments.html -------------------------------------------------------------------------------- /_includes/footer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_includes/footer.html -------------------------------------------------------------------------------- /_includes/header.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_includes/header.html -------------------------------------------------------------------------------- /_includes/image-credit.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_includes/image-credit.html -------------------------------------------------------------------------------- /_includes/latest-posts-grid.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_includes/latest-posts-grid.html -------------------------------------------------------------------------------- /_includes/latest-posts-list.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_includes/latest-posts-list.html -------------------------------------------------------------------------------- /_includes/navigation-sliding.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_includes/navigation-sliding.html -------------------------------------------------------------------------------- /_includes/navigation.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_includes/navigation.html -------------------------------------------------------------------------------- /_includes/open-graph.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_includes/open-graph.html -------------------------------------------------------------------------------- /_includes/page-author.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_includes/page-author.html -------------------------------------------------------------------------------- /_includes/page-meta.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_includes/page-meta.html -------------------------------------------------------------------------------- /_includes/pagination.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_includes/pagination.html -------------------------------------------------------------------------------- /_includes/post-grid.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_includes/post-grid.html -------------------------------------------------------------------------------- /_includes/post-list-bullets.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_includes/post-list-bullets.html -------------------------------------------------------------------------------- /_includes/post-list.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_includes/post-list.html -------------------------------------------------------------------------------- /_includes/scroll-cue.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_includes/scroll-cue.html -------------------------------------------------------------------------------- /_includes/share-this.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_includes/share-this.html -------------------------------------------------------------------------------- /_includes/toc.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_includes/toc.html -------------------------------------------------------------------------------- /_layouts/archive.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_layouts/archive.html -------------------------------------------------------------------------------- /_layouts/article.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_layouts/article.html -------------------------------------------------------------------------------- /_layouts/default.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_layouts/default.html -------------------------------------------------------------------------------- /_layouts/media.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_layouts/media.html -------------------------------------------------------------------------------- /_layouts/page.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_layouts/page.html -------------------------------------------------------------------------------- /_sass/_animations.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/_animations.scss -------------------------------------------------------------------------------- /_sass/_badges.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/_badges.scss -------------------------------------------------------------------------------- /_sass/_base.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/_base.scss -------------------------------------------------------------------------------- /_sass/_breadcrumbs.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/_breadcrumbs.scss -------------------------------------------------------------------------------- /_sass/_bullets.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/_bullets.scss -------------------------------------------------------------------------------- /_sass/_buttons.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/_buttons.scss -------------------------------------------------------------------------------- /_sass/_footnotes.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/_footnotes.scss -------------------------------------------------------------------------------- /_sass/_grid-settings.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/_grid-settings.scss -------------------------------------------------------------------------------- /_sass/_helpers.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/_helpers.scss -------------------------------------------------------------------------------- /_sass/_layout.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/_layout.scss -------------------------------------------------------------------------------- /_sass/_menu-navicons.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/_menu-navicons.scss -------------------------------------------------------------------------------- /_sass/_mixins.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/_mixins.scss -------------------------------------------------------------------------------- /_sass/_notices.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/_notices.scss -------------------------------------------------------------------------------- /_sass/_reset.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/_reset.scss -------------------------------------------------------------------------------- /_sass/_sliding-menu.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/_sliding-menu.scss -------------------------------------------------------------------------------- /_sass/_syntax.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/_syntax.scss -------------------------------------------------------------------------------- /_sass/_tiles.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/_tiles.scss -------------------------------------------------------------------------------- /_sass/_toc.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/_toc.scss -------------------------------------------------------------------------------- /_sass/_variables.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/_variables.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/_bourbon-deprecated-upcoming.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/_bourbon-deprecated-upcoming.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/_bourbon.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/_bourbon.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/addons/_button.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/addons/_button.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/addons/_clearfix.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/addons/_clearfix.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/addons/_directional-values.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/addons/_directional-values.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/addons/_ellipsis.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/addons/_ellipsis.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/addons/_font-family.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/addons/_font-family.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/addons/_hide-text.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/addons/_hide-text.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/addons/_html5-input-types.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/addons/_html5-input-types.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/addons/_position.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/addons/_position.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/addons/_prefixer.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/addons/_prefixer.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/addons/_retina-image.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/addons/_retina-image.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/addons/_size.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/addons/_size.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/addons/_timing-functions.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/addons/_timing-functions.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/addons/_triangle.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/addons/_triangle.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/addons/_word-wrap.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/addons/_word-wrap.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/css3/_animation.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/css3/_animation.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/css3/_appearance.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/css3/_appearance.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/css3/_backface-visibility.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/css3/_backface-visibility.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/css3/_background-image.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/css3/_background-image.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/css3/_background.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/css3/_background.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/css3/_border-image.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/css3/_border-image.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/css3/_border-radius.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/css3/_border-radius.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/css3/_box-sizing.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/css3/_box-sizing.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/css3/_calc.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/css3/_calc.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/css3/_columns.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/css3/_columns.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/css3/_filter.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/css3/_filter.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/css3/_flex-box.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/css3/_flex-box.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/css3/_font-face.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/css3/_font-face.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/css3/_font-feature-settings.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/css3/_font-feature-settings.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/css3/_hidpi-media-query.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/css3/_hidpi-media-query.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/css3/_hyphens.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/css3/_hyphens.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/css3/_image-rendering.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/css3/_image-rendering.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/css3/_keyframes.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/css3/_keyframes.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/css3/_linear-gradient.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/css3/_linear-gradient.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/css3/_perspective.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/css3/_perspective.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/css3/_placeholder.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/css3/_placeholder.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/css3/_radial-gradient.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/css3/_radial-gradient.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/css3/_transform.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/css3/_transform.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/css3/_transition.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/css3/_transition.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/css3/_user-select.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/css3/_user-select.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/functions/_assign.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/functions/_assign.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/functions/_color-lightness.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/functions/_color-lightness.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/functions/_flex-grid.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/functions/_flex-grid.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/functions/_golden-ratio.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/functions/_golden-ratio.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/functions/_grid-width.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/functions/_grid-width.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/functions/_modular-scale.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/functions/_modular-scale.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/functions/_px-to-em.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/functions/_px-to-em.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/functions/_px-to-rem.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/functions/_px-to-rem.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/functions/_strip-units.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/functions/_strip-units.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/functions/_tint-shade.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/functions/_tint-shade.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/functions/_transition-property-name.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/functions/_transition-property-name.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/functions/_unpack.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/functions/_unpack.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/helpers/_convert-units.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/helpers/_convert-units.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/helpers/_gradient-positions-parser.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/helpers/_gradient-positions-parser.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/helpers/_is-num.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/helpers/_is-num.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/helpers/_linear-angle-parser.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/helpers/_linear-angle-parser.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/helpers/_linear-gradient-parser.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/helpers/_linear-gradient-parser.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/helpers/_linear-positions-parser.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/helpers/_linear-positions-parser.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/helpers/_linear-side-corner-parser.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/helpers/_linear-side-corner-parser.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/helpers/_radial-arg-parser.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/helpers/_radial-arg-parser.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/helpers/_radial-gradient-parser.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/helpers/_radial-gradient-parser.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/helpers/_radial-positions-parser.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/helpers/_radial-positions-parser.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/helpers/_render-gradients.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/helpers/_render-gradients.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/helpers/_shape-size-stripper.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/helpers/_shape-size-stripper.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/helpers/_str-to-num.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/helpers/_str-to-num.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/settings/_prefixer.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/bourbon/settings/_prefixer.scss -------------------------------------------------------------------------------- /_sass/vendor/bourbon/settings/_px-to-em.scss: -------------------------------------------------------------------------------- 1 | $em-base: 16px !default; 2 | -------------------------------------------------------------------------------- /_sass/vendor/font-awesome/_animated.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/font-awesome/_animated.scss -------------------------------------------------------------------------------- /_sass/vendor/font-awesome/_bordered-pulled.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/font-awesome/_bordered-pulled.scss -------------------------------------------------------------------------------- /_sass/vendor/font-awesome/_core.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/font-awesome/_core.scss -------------------------------------------------------------------------------- /_sass/vendor/font-awesome/_fixed-width.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/font-awesome/_fixed-width.scss -------------------------------------------------------------------------------- /_sass/vendor/font-awesome/_icons.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/font-awesome/_icons.scss -------------------------------------------------------------------------------- /_sass/vendor/font-awesome/_larger.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/font-awesome/_larger.scss -------------------------------------------------------------------------------- /_sass/vendor/font-awesome/_list.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/font-awesome/_list.scss -------------------------------------------------------------------------------- /_sass/vendor/font-awesome/_mixins.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/font-awesome/_mixins.scss -------------------------------------------------------------------------------- /_sass/vendor/font-awesome/_path.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/font-awesome/_path.scss -------------------------------------------------------------------------------- /_sass/vendor/font-awesome/_rotated-flipped.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/font-awesome/_rotated-flipped.scss -------------------------------------------------------------------------------- /_sass/vendor/font-awesome/_stacked.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/font-awesome/_stacked.scss -------------------------------------------------------------------------------- /_sass/vendor/font-awesome/_variables.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/font-awesome/_variables.scss -------------------------------------------------------------------------------- /_sass/vendor/font-awesome/font-awesome.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/font-awesome/font-awesome.scss -------------------------------------------------------------------------------- /_sass/vendor/neat/_neat-helpers.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/neat/_neat-helpers.scss -------------------------------------------------------------------------------- /_sass/vendor/neat/_neat.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/neat/_neat.scss -------------------------------------------------------------------------------- /_sass/vendor/neat/functions/_new-breakpoint.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/neat/functions/_new-breakpoint.scss -------------------------------------------------------------------------------- /_sass/vendor/neat/functions/_private.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/neat/functions/_private.scss -------------------------------------------------------------------------------- /_sass/vendor/neat/grid/_fill-parent.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/neat/grid/_fill-parent.scss -------------------------------------------------------------------------------- /_sass/vendor/neat/grid/_grid.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/neat/grid/_grid.scss -------------------------------------------------------------------------------- /_sass/vendor/neat/grid/_media.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/neat/grid/_media.scss -------------------------------------------------------------------------------- /_sass/vendor/neat/grid/_omega.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/neat/grid/_omega.scss -------------------------------------------------------------------------------- /_sass/vendor/neat/grid/_outer-container.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/neat/grid/_outer-container.scss -------------------------------------------------------------------------------- /_sass/vendor/neat/grid/_pad.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/neat/grid/_pad.scss -------------------------------------------------------------------------------- /_sass/vendor/neat/grid/_private.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/neat/grid/_private.scss -------------------------------------------------------------------------------- /_sass/vendor/neat/grid/_reset.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/neat/grid/_reset.scss -------------------------------------------------------------------------------- /_sass/vendor/neat/grid/_row.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/neat/grid/_row.scss -------------------------------------------------------------------------------- /_sass/vendor/neat/grid/_shift.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/neat/grid/_shift.scss -------------------------------------------------------------------------------- /_sass/vendor/neat/grid/_span-columns.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/neat/grid/_span-columns.scss -------------------------------------------------------------------------------- /_sass/vendor/neat/grid/_to-deprecate.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/neat/grid/_to-deprecate.scss -------------------------------------------------------------------------------- /_sass/vendor/neat/grid/_visual-grid.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/neat/grid/_visual-grid.scss -------------------------------------------------------------------------------- /_sass/vendor/neat/settings/_grid.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/neat/settings/_grid.scss -------------------------------------------------------------------------------- /_sass/vendor/neat/settings/_visual-grid.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_sass/vendor/neat/settings/_visual-grid.scss -------------------------------------------------------------------------------- /_templates/archive: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_templates/archive -------------------------------------------------------------------------------- /_templates/media: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_templates/media -------------------------------------------------------------------------------- /_templates/page: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_templates/page -------------------------------------------------------------------------------- /_templates/post: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/_templates/post -------------------------------------------------------------------------------- /accommodation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/accommodation.md -------------------------------------------------------------------------------- /agda-installation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/agda-installation.md -------------------------------------------------------------------------------- /apple-touch-icon-precomposed.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/apple-touch-icon-precomposed.png -------------------------------------------------------------------------------- /call-for-papers.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/call-for-papers.md -------------------------------------------------------------------------------- /conf-slides/Acosta.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/conf-slides/Acosta.pdf -------------------------------------------------------------------------------- /conf-slides/Awodey.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/conf-slides/Awodey.pdf -------------------------------------------------------------------------------- /conf-slides/Bentzen.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/conf-slides/Bentzen.pdf -------------------------------------------------------------------------------- /conf-slides/Bidlingmaier.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/conf-slides/Bidlingmaier.pdf -------------------------------------------------------------------------------- /conf-slides/Brunerie.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/conf-slides/Brunerie.pdf -------------------------------------------------------------------------------- /conf-slides/Cagne.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/conf-slides/Cagne.pdf -------------------------------------------------------------------------------- /conf-slides/Choudhury.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/conf-slides/Choudhury.pdf -------------------------------------------------------------------------------- /conf-slides/Christensen.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/conf-slides/Christensen.pdf -------------------------------------------------------------------------------- /conf-slides/Cicala.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/conf-slides/Cicala.pdf -------------------------------------------------------------------------------- /conf-slides/Coquand.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/conf-slides/Coquand.pdf -------------------------------------------------------------------------------- /conf-slides/Francese.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/conf-slides/Francese.pdf -------------------------------------------------------------------------------- /conf-slides/Gambino.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/conf-slides/Gambino.pdf -------------------------------------------------------------------------------- /conf-slides/Helfer.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/conf-slides/Helfer.pdf -------------------------------------------------------------------------------- /conf-slides/Leena-Subramaniam.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/conf-slides/Leena-Subramaniam.pdf -------------------------------------------------------------------------------- /conf-slides/Lo-Monaco.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/conf-slides/Lo-Monaco.pdf -------------------------------------------------------------------------------- /conf-slides/Lynge.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/conf-slides/Lynge.pdf -------------------------------------------------------------------------------- /conf-slides/Moeneclaey.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/conf-slides/Moeneclaey.pdf -------------------------------------------------------------------------------- /conf-slides/Mortberg.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/conf-slides/Mortberg.pdf -------------------------------------------------------------------------------- /conf-slides/Myers.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/conf-slides/Myers.pdf -------------------------------------------------------------------------------- /conf-slides/North.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/conf-slides/North.pdf -------------------------------------------------------------------------------- /conf-slides/Pitts.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/conf-slides/Pitts.pdf -------------------------------------------------------------------------------- /conf-slides/Rijke.key: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/conf-slides/Rijke.key -------------------------------------------------------------------------------- /conf-slides/Rose.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/conf-slides/Rose.pdf -------------------------------------------------------------------------------- /conf-slides/Sattler.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/conf-slides/Sattler.pdf -------------------------------------------------------------------------------- /conf-slides/Sestini.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/conf-slides/Sestini.pdf -------------------------------------------------------------------------------- /conf-slides/Shulman.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/conf-slides/Shulman.pdf -------------------------------------------------------------------------------- /conf-slides/Sozeau.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/conf-slides/Sozeau.pdf -------------------------------------------------------------------------------- /conf-slides/Stenzel.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/conf-slides/Stenzel.pdf -------------------------------------------------------------------------------- /conf-slides/Sterling.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/conf-slides/Sterling.pdf -------------------------------------------------------------------------------- /conf-slides/Swan.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/conf-slides/Swan.pdf -------------------------------------------------------------------------------- /conf-slides/Szumilo.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/conf-slides/Szumilo.pdf -------------------------------------------------------------------------------- /conf-slides/Uemura.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/conf-slides/Uemura.pdf -------------------------------------------------------------------------------- /conf-slides/Weaver.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/conf-slides/Weaver.pdf -------------------------------------------------------------------------------- /conf-slides/Weinberger.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/conf-slides/Weinberger.pdf -------------------------------------------------------------------------------- /conf-slides/White.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/conf-slides/White.pdf -------------------------------------------------------------------------------- /conf-slides/Zwanziger.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/conf-slides/Zwanziger.pdf -------------------------------------------------------------------------------- /conf-slides/van-den-Berg.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/conf-slides/van-den-Berg.pdf -------------------------------------------------------------------------------- /coq-additional-linux-instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/coq-additional-linux-instructions.md -------------------------------------------------------------------------------- /coq-installation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/coq-installation.md -------------------------------------------------------------------------------- /css/main.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/css/main.scss -------------------------------------------------------------------------------- /dates.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/dates.md -------------------------------------------------------------------------------- /favicon.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/favicon.ico -------------------------------------------------------------------------------- /files/class1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/files/class1.v -------------------------------------------------------------------------------- /files/class2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/files/class2.v -------------------------------------------------------------------------------- /fonts/FontAwesome.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/fonts/FontAwesome.otf -------------------------------------------------------------------------------- /fonts/fontawesome-webfont.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/fonts/fontawesome-webfont.eot -------------------------------------------------------------------------------- /fonts/fontawesome-webfont.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/fonts/fontawesome-webfont.svg -------------------------------------------------------------------------------- /fonts/fontawesome-webfont.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/fonts/fontawesome-webfont.ttf -------------------------------------------------------------------------------- /fonts/fontawesome-webfont.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/fonts/fontawesome-webfont.woff -------------------------------------------------------------------------------- /fonts/fontawesome-webfont.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/fonts/fontawesome-webfont.woff2 -------------------------------------------------------------------------------- /ilyas-khan.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/ilyas-khan.md -------------------------------------------------------------------------------- /images/HoTT-2019-poster.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/images/HoTT-2019-poster.jpg -------------------------------------------------------------------------------- /images/HoTT-2019-poster.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/images/HoTT-2019-poster.pdf -------------------------------------------------------------------------------- /images/HoTTdinner.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/images/HoTTdinner.png -------------------------------------------------------------------------------- /images/HoTTreception.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/images/HoTTreception.png -------------------------------------------------------------------------------- /images/afosr-logo.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/images/afosr-logo.jpg -------------------------------------------------------------------------------- /images/apple-touch-icon-precomposed.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/images/apple-touch-icon-precomposed.png -------------------------------------------------------------------------------- /images/bio-photo.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/images/bio-photo.jpg -------------------------------------------------------------------------------- /images/cmu-dietrich-college-logo.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/images/cmu-dietrich-college-logo.jpg -------------------------------------------------------------------------------- /images/cmu-philosophy-logo.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/images/cmu-philosophy-logo.jpg -------------------------------------------------------------------------------- /images/cmu-philosophy-logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/images/cmu-philosophy-logo.png -------------------------------------------------------------------------------- /images/conf-photo-small.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/images/conf-photo-small.jpg -------------------------------------------------------------------------------- /images/conf-photo.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/images/conf-photo.jpg -------------------------------------------------------------------------------- /images/hott-intro-rijke.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/images/hott-intro-rijke.pdf -------------------------------------------------------------------------------- /images/logo-medium.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/images/logo-medium.png -------------------------------------------------------------------------------- /images/logo-small.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/images/logo-small.png -------------------------------------------------------------------------------- /images/logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/images/logo.png -------------------------------------------------------------------------------- /images/mltt-rules.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/images/mltt-rules.pdf -------------------------------------------------------------------------------- /images/nsf-logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/images/nsf-logo.png -------------------------------------------------------------------------------- /images/semantics-bibliography.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/images/semantics-bibliography.pdf -------------------------------------------------------------------------------- /images/skinny-bones-demo.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/images/skinny-bones-demo.gif -------------------------------------------------------------------------------- /images/ss-photo-small.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/images/ss-photo-small.jpg -------------------------------------------------------------------------------- /images/ss-photo.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/images/ss-photo.jpg -------------------------------------------------------------------------------- /images/ss-schedule.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/images/ss-schedule.png -------------------------------------------------------------------------------- /images/staircase-header.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/images/staircase-header.jpg -------------------------------------------------------------------------------- /images/staircase-original.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/images/staircase-original.jpg -------------------------------------------------------------------------------- /images/walking-ssi.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/images/walking-ssi.jpg -------------------------------------------------------------------------------- /index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/index.md -------------------------------------------------------------------------------- /js/_main.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/js/_main.js -------------------------------------------------------------------------------- /js/main.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/js/main.js -------------------------------------------------------------------------------- /js/plugins/jquery.fitvids.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/js/plugins/jquery.fitvids.js -------------------------------------------------------------------------------- /js/plugins/jquery.visible.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/js/plugins/jquery.visible.js -------------------------------------------------------------------------------- /js/vendor/html5shiv.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/js/vendor/html5shiv.min.js -------------------------------------------------------------------------------- /js/vendor/jquery-1.9.1.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/js/vendor/jquery-1.9.1.min.js -------------------------------------------------------------------------------- /js/vendor/respond.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/js/vendor/respond.min.js -------------------------------------------------------------------------------- /local-information.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/local-information.md -------------------------------------------------------------------------------- /package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/package.json -------------------------------------------------------------------------------- /participants.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/participants.md -------------------------------------------------------------------------------- /photos.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/photos.md -------------------------------------------------------------------------------- /poster.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/poster.md -------------------------------------------------------------------------------- /programme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/programme.md -------------------------------------------------------------------------------- /registration.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/registration.md -------------------------------------------------------------------------------- /summer-school.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/summer-school.md -------------------------------------------------------------------------------- /venue.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HoTT/HoTT-2019/HEAD/venue.md --------------------------------------------------------------------------------