Monad Improvement Proposals (MIPs)

This repository builds a static MIP website with Jekyll and is intended to be deployed with GitHub Pages (deployment may currently be disabled in CI).

• Ruby >= 3.1 (including Ruby 4.x)
• Bundler (gem install bundler)

bundle install

bundle exec jekyll serve

Then open http://localhost:4000.

JEKYLL_ENV=production bundle exec jekyll build

Generated files are in _site/.

Use $$...$$ for inline math. For display math, put the opening and closing $$ on separate lines, with blank lines around the block. Kramdown converts both forms to MathJax delimiters.

Use \lvert V \rvert instead of |V| inside inline math so Markdown does not interpret the vertical bars as table separators.