Skip to content
/ HoTT-2023 Public
forked from HoTT/HoTT-2019

Conference on Homotopy Type Theory 2023

License

Notifications You must be signed in to change notification settings

HoTT/HoTT-2023

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

How to edit the web page content

  1. git pull
  2. Make changes to .md files (see below)
  3. git status to see what files you changed
  4. git add XYZ.md for every file you changed and you wish to commit
  5. git push
  6. Go to the conference web page, make sure to reload the page.

The .md files are Markdown files, here is a quick Markdown reference.

Page source files:

Organization and web pages for the HoTT 2023 conference

These are the web pages for the HoTT 2023 conference. The website is at https://hott.github.io/HoTT-2023/.

How do I make changes?

The pages are written in the Markdown format and automatically translated to HTML by GitHub. Simply edit the Markdown files and use Git to push the changes back to the server. The website always shows the contents of the master branch of the GitHub repository.

How to generate the web page locally

You need not generate the pages before you publish them, but it might be a good idea to do so and verify that the pages are OK, especially if you make significant changes.

To generate web pages locally for preview, you need Jekyll, which needs a million subsidiary Ruby packages. Rather than trying to install them with your bare hands, you should just try

bundle install

With a bit of luck you've got Ruby installed so this command will do the right thing. The bundle command is part of the Ruby Bundler package manager. On a Mac it is available through Homebrew. On Linux it is available through your package manager, e.g. on Debian/Ubuntu `sudo apt install ruby-bundler ruby-dev'.

Then to generate and serve the pages locally, run

bundle exec jekyll serve

The pages will appear at http://127.0.0.1:4000/.

Troubleshooting on MacOS

On MacOS one of the libraries is causing problems. If bundle install fails and complains that it cannot install nokogiri, run these:

sudo gem install pkg-config
sudo gem install nokogiri -v '1.8.5' --source 'https://rubygems.org/' -- --use-system-libraries

Then run bundle install again.

About

Conference on Homotopy Type Theory 2023

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • SCSS 59.8%
  • HTML 21.9%
  • JavaScript 9.9%
  • Coq 5.6%
  • TeX 1.9%
  • Python 0.8%
  • Ruby 0.1%