diff --git a/.github/workflows/deploy-pages.yml b/.github/workflows/deploy-pages.yml new file mode 100644 index 0000000..2a36396 --- /dev/null +++ b/.github/workflows/deploy-pages.yml @@ -0,0 +1,56 @@ +name: Deploy MIP Site + +on: + push: + branches: ["main"] + pull_request: + branches: ["main"] + workflow_dispatch: + +permissions: + contents: read + pages: write + id-token: write + +concurrency: + group: "pages" + cancel-in-progress: false + +jobs: + build: + # disable workflow for now + if: false + runs-on: ubuntu-latest + steps: + - name: Checkout + uses: actions/checkout@v5 + + - name: Setup Pages + id: pages + uses: actions/configure-pages@v5 + + - name: Setup Ruby + uses: ruby/setup-ruby@v1 + with: + ruby-version: '4' + bundler-cache: true + + - name: Build site + run: bundle exec jekyll build --baseurl "${{ steps.pages.outputs.base_path }}" + env: + JEKYLL_ENV: production + + - name: Upload artifact + uses: actions/upload-pages-artifact@v3 + with: + path: ./_site + + deploy: + # disable workflow for now + if: false + runs-on: ubuntu-latest + needs: build + steps: + - name: Deploy to GitHub Pages + id: deployment + uses: actions/deploy-pages@v4 diff --git a/.gitignore b/.gitignore index d7acd05..eea1fe8 100644 --- a/.gitignore +++ b/.gitignore @@ -2,6 +2,8 @@ .gitpod.yml .DS_Store /.idea +/_site +/.jekyll-cache # Secrets .vercel diff --git a/Gemfile b/Gemfile new file mode 100644 index 0000000..0fe86f6 --- /dev/null +++ b/Gemfile @@ -0,0 +1,5 @@ +source "https://rubygems.org" + +gem "minima", "~> 2.5.2" +gem "jekyll", "~> 4.4.1" +gem "webrick", "~> 1.9.2" diff --git a/Gemfile.lock b/Gemfile.lock new file mode 100644 index 0000000..9e4b9b2 --- /dev/null +++ b/Gemfile.lock @@ -0,0 +1,245 @@ +GEM + remote: https://rubygems.org/ + specs: + addressable (2.8.9) + public_suffix (>= 2.0.2, < 8.0) + base64 (0.3.0) + bigdecimal (4.0.1) + colorator (1.1.0) + concurrent-ruby (1.3.6) + csv (3.3.5) + em-websocket (0.5.3) + eventmachine (>= 0.12.9) + http_parser.rb (~> 0) + eventmachine (1.2.7) + ffi (1.17.3) + ffi (1.17.3-aarch64-linux-gnu) + ffi (1.17.3-aarch64-linux-musl) + ffi (1.17.3-arm-linux-gnu) + ffi (1.17.3-arm-linux-musl) + ffi (1.17.3-arm64-darwin) + ffi (1.17.3-x86-linux-gnu) + ffi (1.17.3-x86-linux-musl) + ffi (1.17.3-x86_64-darwin) + ffi (1.17.3-x86_64-linux-gnu) + ffi (1.17.3-x86_64-linux-musl) + forwardable-extended (2.6.0) + google-protobuf (4.34.0) + bigdecimal + rake (~> 13.3) + google-protobuf (4.34.0-aarch64-linux-gnu) + bigdecimal + rake (~> 13.3) + google-protobuf (4.34.0-aarch64-linux-musl) + bigdecimal + rake (~> 13.3) + google-protobuf (4.34.0-arm64-darwin) + bigdecimal + rake (~> 13.3) + google-protobuf (4.34.0-x86-linux-gnu) + bigdecimal + rake (~> 13.3) + google-protobuf (4.34.0-x86-linux-musl) + bigdecimal + rake (~> 13.3) + google-protobuf (4.34.0-x86_64-darwin) + bigdecimal + rake (~> 13.3) + google-protobuf (4.34.0-x86_64-linux-gnu) + bigdecimal + rake (~> 13.3) + google-protobuf (4.34.0-x86_64-linux-musl) + bigdecimal + rake (~> 13.3) + http_parser.rb (0.8.1) + i18n (1.14.8) + concurrent-ruby (~> 1.0) + jekyll (4.4.1) + addressable (~> 2.4) + base64 (~> 0.2) + colorator (~> 1.0) + csv (~> 3.0) + em-websocket (~> 0.5) + i18n (~> 1.0) + jekyll-sass-converter (>= 2.0, < 4.0) + jekyll-watch (~> 2.0) + json (~> 2.6) + kramdown (~> 2.3, >= 2.3.1) + kramdown-parser-gfm (~> 1.0) + liquid (~> 4.0) + mercenary (~> 0.3, >= 0.3.6) + pathutil (~> 0.9) + rouge (>= 3.0, < 5.0) + safe_yaml (~> 1.0) + terminal-table (>= 1.8, < 4.0) + webrick (~> 1.7) + jekyll-feed (0.17.0) + jekyll (>= 3.7, < 5.0) + jekyll-sass-converter (3.1.0) + sass-embedded (~> 1.75) + jekyll-seo-tag (2.8.0) + jekyll (>= 3.8, < 5.0) + jekyll-watch (2.2.1) + listen (~> 3.0) + json (2.18.1) + kramdown (2.5.2) + rexml (>= 3.4.4) + kramdown-parser-gfm (1.1.0) + kramdown (~> 2.0) + liquid (4.0.4) + listen (3.10.0) + logger + rb-fsevent (~> 0.10, >= 0.10.3) + rb-inotify (~> 0.9, >= 0.9.10) + logger (1.7.0) + mercenary (0.4.0) + minima (2.5.2) + jekyll (>= 3.5, < 5.0) + jekyll-feed (~> 0.9) + jekyll-seo-tag (~> 2.1) + pathutil (0.16.2) + forwardable-extended (~> 2.6) + public_suffix (7.0.5) + rake (13.3.1) + rb-fsevent (0.11.2) + rb-inotify (0.11.1) + ffi (~> 1.0) + rexml (3.4.4) + rouge (4.7.0) + safe_yaml (1.0.5) + sass-embedded (1.97.3) + google-protobuf (~> 4.31) + rake (>= 13) + sass-embedded (1.97.3-aarch64-linux-android) + google-protobuf (~> 4.31) + sass-embedded (1.97.3-aarch64-linux-gnu) + google-protobuf (~> 4.31) + sass-embedded (1.97.3-aarch64-linux-musl) + google-protobuf (~> 4.31) + sass-embedded (1.97.3-arm-linux-androideabi) + google-protobuf (~> 4.31) + sass-embedded (1.97.3-arm-linux-gnueabihf) + google-protobuf (~> 4.31) + sass-embedded (1.97.3-arm-linux-musleabihf) + google-protobuf (~> 4.31) + sass-embedded (1.97.3-arm64-darwin) + google-protobuf (~> 4.31) + sass-embedded (1.97.3-riscv64-linux-android) + google-protobuf (~> 4.31) + sass-embedded (1.97.3-riscv64-linux-gnu) + google-protobuf (~> 4.31) + sass-embedded (1.97.3-riscv64-linux-musl) + google-protobuf (~> 4.31) + sass-embedded (1.97.3-x86_64-darwin) + google-protobuf (~> 4.31) + sass-embedded (1.97.3-x86_64-linux-android) + google-protobuf (~> 4.31) + sass-embedded (1.97.3-x86_64-linux-gnu) + google-protobuf (~> 4.31) + sass-embedded (1.97.3-x86_64-linux-musl) + google-protobuf (~> 4.31) + terminal-table (3.0.2) + unicode-display_width (>= 1.1.1, < 3) + unicode-display_width (2.6.0) + webrick (1.9.2) + +PLATFORMS + aarch64-linux-android + aarch64-linux-gnu + aarch64-linux-musl + arm-linux-androideabi + arm-linux-gnu + arm-linux-gnueabihf + arm-linux-musl + arm-linux-musleabihf + arm64-darwin + riscv64-linux-android + riscv64-linux-gnu + riscv64-linux-musl + ruby + x86-linux-gnu + x86-linux-musl + x86_64-darwin + x86_64-linux-android + x86_64-linux-gnu + x86_64-linux-musl + +DEPENDENCIES + jekyll (~> 4.4.1) + minima (~> 2.5.2) + webrick (~> 1.9.2) + +CHECKSUMS + addressable (2.8.9) sha256=cc154fcbe689711808a43601dee7b980238ce54368d23e127421753e46895485 + base64 (0.3.0) sha256=27337aeabad6ffae05c265c450490628ef3ebd4b67be58257393227588f5a97b + bigdecimal (4.0.1) sha256=8b07d3d065a9f921c80ceaea7c9d4ae596697295b584c296fe599dd0ad01c4a7 + colorator (1.1.0) sha256=e2f85daf57af47d740db2a32191d1bdfb0f6503a0dfbc8327d0c9154d5ddfc38 + concurrent-ruby (1.3.6) sha256=6b56837e1e7e5292f9864f34b69c5a2cbc75c0cf5338f1ce9903d10fa762d5ab + csv (3.3.5) sha256=6e5134ac3383ef728b7f02725d9872934f523cb40b961479f69cf3afa6c8e73f + em-websocket (0.5.3) sha256=f56a92bde4e6cb879256d58ee31f124181f68f8887bd14d53d5d9a292758c6a8 + eventmachine (1.2.7) sha256=994016e42aa041477ba9cff45cbe50de2047f25dd418eba003e84f0d16560972 + ffi (1.17.3) sha256=0e9f39f7bb3934f77ad6feab49662be77e87eedcdeb2a3f5c0234c2938563d4c + ffi (1.17.3-aarch64-linux-gnu) sha256=28ad573df26560f0aedd8a90c3371279a0b2bd0b4e834b16a2baa10bd7a97068 + ffi (1.17.3-aarch64-linux-musl) sha256=020b33b76775b1abacc3b7d86b287cef3251f66d747092deec592c7f5df764b2 + ffi (1.17.3-arm-linux-gnu) sha256=5bd4cea83b68b5ec0037f99c57d5ce2dd5aa438f35decc5ef68a7d085c785668 + ffi (1.17.3-arm-linux-musl) sha256=0d7626bb96265f9af78afa33e267d71cfef9d9a8eb8f5525344f8da6c7d76053 + ffi (1.17.3-arm64-darwin) sha256=0c690555d4cee17a7f07c04d59df39b2fba74ec440b19da1f685c6579bb0717f + ffi (1.17.3-x86-linux-gnu) sha256=868a88fcaf5186c3a46b7c7c2b2c34550e1e61a405670ab23f5b6c9971529089 + ffi (1.17.3-x86-linux-musl) sha256=f0286aa6ef40605cf586e61406c446de34397b85dbb08cc99fdaddaef8343945 + ffi (1.17.3-x86_64-darwin) sha256=1f211811eb5cfaa25998322cdd92ab104bfbd26d1c4c08471599c511f2c00bb5 + ffi (1.17.3-x86_64-linux-gnu) sha256=3746b01f677aae7b16dc1acb7cb3cc17b3e35bdae7676a3f568153fb0e2c887f + ffi (1.17.3-x86_64-linux-musl) sha256=086b221c3a68320b7564066f46fed23449a44f7a1935f1fe5a245bd89d9aea56 + forwardable-extended (2.6.0) sha256=1bec948c469bbddfadeb3bd90eb8c85f6e627a412a3e852acfd7eaedbac3ec97 + google-protobuf (4.34.0) sha256=bffaea30fbe2807c80667a78953b15645b3bef62b25c10ca187e4418119be531 + google-protobuf (4.34.0-aarch64-linux-gnu) sha256=0ab8a8a97976a2265d647e69b3ff1980c89184abdaf06d36091856c5ab37cc55 + google-protobuf (4.34.0-aarch64-linux-musl) sha256=0632a86df6d320eac3b335bd779499d43ad8ee6d1f8c8494b773ed5d3d5c6ab4 + google-protobuf (4.34.0-arm64-darwin) sha256=f83967a8095a9da676b79ba372c58fef2ca3878428bd40febfce65b3752c90d1 + google-protobuf (4.34.0-x86-linux-gnu) sha256=21108e5cee407cb46c38f96fa93ea1ea8e463a45c8031261df3f9131458db4e3 + google-protobuf (4.34.0-x86-linux-musl) sha256=58cb40ce43e2dc559eef112ff8d522aad489ba90f693eb95fdd946eaa6cc81e9 + google-protobuf (4.34.0-x86_64-darwin) sha256=4a5b67281993345adca54bb32947f25a289597eafaa240e5b714d0a740f99321 + google-protobuf (4.34.0-x86_64-linux-gnu) sha256=bbb333fbe79c16f35a2e2154cf29f3ce26f60390dba286b339861206d5435ef9 + google-protobuf (4.34.0-x86_64-linux-musl) sha256=0b75858a388b17e73aa4176df2e722762dbc92551b7075fdc562d33c1c6de0b0 + http_parser.rb (0.8.1) sha256=9ae8df145b39aa5398b2f90090d651c67bd8e2ebfe4507c966579f641e11097a + i18n (1.14.8) sha256=285778639134865c5e0f6269e0b818256017e8cde89993fdfcbfb64d088824a5 + jekyll (4.4.1) sha256=4c1144d857a5b2b80d45b8cf5138289579a9f8136aadfa6dd684b31fe2bc18c1 + jekyll-feed (0.17.0) sha256=689aab16c877949bb9e7a5c436de6278318a51ecb974792232fd94d8b3acfcc3 + jekyll-sass-converter (3.1.0) sha256=83925d84f1d134410c11d0c6643b0093e82e3a3cf127e90757a85294a3862443 + jekyll-seo-tag (2.8.0) sha256=3f2ed1916d56f14ebfa38e24acde9b7c946df70cb183af2cb5f0598f21ae6818 + jekyll-watch (2.2.1) sha256=bc44ed43f5e0a552836245a54dbff3ea7421ecc2856707e8a1ee203a8387a7e1 + json (2.18.1) sha256=fe112755501b8d0466b5ada6cf50c8c3f41e897fa128ac5d263ec09eedc9f986 + kramdown (2.5.2) sha256=1ba542204c66b6f9111ff00dcc26075b95b220b07f2905d8261740c82f7f02fa + kramdown-parser-gfm (1.1.0) sha256=fb39745516427d2988543bf01fc4cf0ab1149476382393e0e9c48592f6581729 + liquid (4.0.4) sha256=4fcfebb1a045e47918388dbb7a0925e7c3893e58d2bd6c3b3c73ec17a2d8fdb3 + listen (3.10.0) sha256=c6e182db62143aeccc2e1960033bebe7445309c7272061979bb098d03760c9d2 + logger (1.7.0) sha256=196edec7cc44b66cfb40f9755ce11b392f21f7967696af15d274dde7edff0203 + mercenary (0.4.0) sha256=b25a1e4a59adca88665e08e24acf0af30da5b5d859f7d8f38fba52c28f405138 + minima (2.5.2) sha256=9c434e3b7bc4a0f0ab488910438ed3757a0502ff1060d172f361907fc38aa45a + pathutil (0.16.2) sha256=e43b74365631cab4f6d5e4228f812927efc9cb2c71e62976edcb252ee948d589 + public_suffix (7.0.5) sha256=1a8bb08f1bbea19228d3bed6e5ed908d1cb4f7c2726d18bd9cadf60bc676f623 + rake (13.3.1) sha256=8c9e89d09f66a26a01264e7e3480ec0607f0c497a861ef16063604b1b08eb19c + rb-fsevent (0.11.2) sha256=43900b972e7301d6570f64b850a5aa67833ee7d87b458ee92805d56b7318aefe + rb-inotify (0.11.1) sha256=a0a700441239b0ff18eb65e3866236cd78613d6b9f78fea1f9ac47a85e47be6e + rexml (3.4.4) sha256=19e0a2c3425dfbf2d4fc1189747bdb2f849b6c5e74180401b15734bc97b5d142 + rouge (4.7.0) sha256=dba5896715c0325c362e895460a6d350803dbf6427454f49a47500f3193ea739 + safe_yaml (1.0.5) sha256=a6ac2d64b7eb027bdeeca1851fe7e7af0d668e133e8a88066a0c6f7087d9f848 + sass-embedded (1.97.3) sha256=c4136da69ae3acfa7b0809f4ec10891125edf57df214a2d1ab570f721f96f7a6 + sass-embedded (1.97.3-aarch64-linux-android) sha256=623b2f52fed6e3696c6445406e4efaef57b54442cc35604bfffbb82aef7d5c45 + sass-embedded (1.97.3-aarch64-linux-gnu) sha256=81915bb19ce7e224eae534e75e828f4ab5acddcb17e54da0b5ef91d932462836 + sass-embedded (1.97.3-aarch64-linux-musl) sha256=508c92fa2f9e58f9072325e02f011bd22c7e428465c67fafaee570d0bc40563b + sass-embedded (1.97.3-arm-linux-androideabi) sha256=e2ef33b187066e09374023e58e72cf3b5baabe6b77ecd74356fe9b4892a1c6e1 + sass-embedded (1.97.3-arm-linux-gnueabihf) sha256=ce443b57f3d7f03740267cf0f2cdff13e8055dd5938488967746f29f230222da + sass-embedded (1.97.3-arm-linux-musleabihf) sha256=be3972424616f916ce1f4f41228266d57339e490dfd7ca0cea5588579564d4c0 + sass-embedded (1.97.3-arm64-darwin) sha256=8897d3503efe75c30584070a7104095545f5157665029aeb9bff3fa533a73861 + sass-embedded (1.97.3-riscv64-linux-android) sha256=201426b3e58611aa8cf34a7574df51905ec42fefb5a69982cc8497ac7fb26a6b + sass-embedded (1.97.3-riscv64-linux-gnu) sha256=d7bac32f4de55c589a036da13ac4482bf5b7dfac980b4c0203d31a1bd9f07622 + sass-embedded (1.97.3-riscv64-linux-musl) sha256=621d981d700e2b8d0459b5ea696fff746dfa07d6b6bbc70cd982905214b07888 + sass-embedded (1.97.3-x86_64-darwin) sha256=578f167907ee2a4d355a5a40bcf35d2e3eb90c87008dcd9ce31a2c4a877697f6 + sass-embedded (1.97.3-x86_64-linux-android) sha256=8f5e179bee8610be432499f228ea4e53ab362b1db0da1ae3cd3e76b114712372 + sass-embedded (1.97.3-x86_64-linux-gnu) sha256=173a4d0dbe2fffdf7482bd3e82fb597dfc658c18d1e8fd746aa7d5077ed4e850 + sass-embedded (1.97.3-x86_64-linux-musl) sha256=fcc0dcb253ef174ea25283f8781ce9ce95a492663f4bdbb1d66bfae99267a9f7 + terminal-table (3.0.2) sha256=f951b6af5f3e00203fb290a669e0a85c5dd5b051b3b023392ccfd67ba5abae91 + unicode-display_width (2.6.0) sha256=12279874bba6d5e4d2728cef814b19197dbb10d7a7837a869bab65da943b7f5a + webrick (1.9.2) sha256=beb4a15fc474defed24a3bda4ffd88a490d517c9e4e6118c3edce59e45864131 + +BUNDLED WITH + 4.0.3 diff --git a/MIPS/MIP-3.md b/MIPS/MIP-3.md index 94fb1c4..9e904a5 100644 --- a/MIPS/MIP-3.md +++ b/MIPS/MIP-3.md @@ -2,7 +2,9 @@ mip: 3 title: Linear Memory description: Redefine memory expansion cost to be linear and enforce an explicit maximum memory usage per transaction. -author: Category Labs +author: Category Labs +status: Review +type: Standards Track category: Core created: 2025-12-10 --- @@ -60,4 +62,4 @@ MIP-3 differs from EIP-7686 in that EIP-7686 defines a direct relationship betwe ## Copyright -Copyright and related rights waived via [CC0](../LICENSE.md). \ No newline at end of file +Copyright and related rights waived via [CC0](../LICENSE.md). diff --git a/MIPS/MIP-4.md b/MIPS/MIP-4.md index b35d23a..03c0429 100644 --- a/MIPS/MIP-4.md +++ b/MIPS/MIP-4.md @@ -3,6 +3,8 @@ mip: 4 title: Reserve Balance Introspection description: Add reserve balance precompile to query reserve balance violation state during transaction execution. author: Category Labs +status: Review +type: Standards Track category: Core created: 2026-01-08 --- diff --git a/MIPS/MIP-5.md b/MIPS/MIP-5.md index 38350f6..c22df28 100644 --- a/MIPS/MIP-5.md +++ b/MIPS/MIP-5.md @@ -3,6 +3,8 @@ mip: 5 title: Fusaka EIP Activation description: Activate EIP-7823, EIP-7883, and EIP-7939 from Ethereum's Fusaka upgrade. author: Category Labs +status: Review +type: Standards Track category: Core created: 2026-01-19 --- diff --git a/MIPS/MIP-6.md b/MIPS/MIP-6.md index c1cd79f..ec9adaa 100644 --- a/MIPS/MIP-6.md +++ b/MIPS/MIP-6.md @@ -3,7 +3,8 @@ mip: 6 title: Meta - `MONAD_NINE` Network Upgrade description: Meta MIP for the `MONAD_NINE` network upgrade. author: Category Labs -category: Meta +status: Review +type: Meta created: 2026-01-22 requires: 3, 4, 5 --- diff --git a/MIPS/MIP-7.md b/MIPS/MIP-7.md index ceee270..3a6f8d8 100644 --- a/MIPS/MIP-7.md +++ b/MIPS/MIP-7.md @@ -3,6 +3,8 @@ mip: 7 title: Extension opcodes description: Add a reserved two-byte opcode family for implementation-defined extension opcodes author: Category Labs +status: Draft +type: Standards Track category: Core created: 2026-01-28 --- diff --git a/README.md b/README.md new file mode 100644 index 0000000..22ea570 --- /dev/null +++ b/README.md @@ -0,0 +1,32 @@ +# 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). + +## Build locally + +### Prerequisites + +- Ruby `>= 3.1` (including Ruby `4.x`) +- Bundler (`gem install bundler`) + +### Install dependencies + +```sh +bundle install +``` + +### Run locally + +```sh +bundle exec jekyll serve +``` + +Then open . + +### Production-style build + +```sh +JEKYLL_ENV=production bundle exec jekyll build +``` + +Generated files are in `_site/`. diff --git a/_config.yml b/_config.yml new file mode 100644 index 0000000..32163ae --- /dev/null +++ b/_config.yml @@ -0,0 +1,44 @@ +title: Monad Improvement Proposals +description: Monad Improvement Proposals (MIPs) +url: "" +baseurl: "" +lang: en +timezone: UTC + +lsi: false +safe: true +incremental: false +theme: minima +markdown: kramdown +highlighter: none +permalink: /:path + +kramdown: + input: GFM + math_engine: mathjax + syntax_highlighter: null + +gist: + noscript: false + +defaults: + - + scope: + path: "MIPS" + values: + layout: "mip" + +exclude: + - .github + - Gemfile + - Gemfile.lock + - node_modules + - vendor/ + +include: + - LICENSE.md + +sass: + quiet_deps: true + silence_deprecations: + - import diff --git a/_layouts/default.html b/_layouts/default.html new file mode 100644 index 0000000..158f8b9 --- /dev/null +++ b/_layouts/default.html @@ -0,0 +1,269 @@ + + + + + + {% assign meta_description = page.description | default: page.excerpt | default: site.description %} + {% assign meta_description = meta_description | markdownify | strip_html | normalize_whitespace | strip %} + + + Monad Improvement Proposals (MIPs) + + + + + + + + + +
+ {{ content }} +
+ + + diff --git a/_layouts/mip.html b/_layouts/mip.html new file mode 100644 index 0000000..a7479d2 --- /dev/null +++ b/_layouts/mip.html @@ -0,0 +1,61 @@ +--- +layout: default +--- + +{% assign github_repo = "https://github.com/monad-crypto/MIPs" %} +{% assign source_path = page.path | replace: " ", "%20" %} +{% assign source_url = github_repo | append: "/blob/main/" | append: source_path %} +{% assign discussions_url = page["discussions-to"] %} + +

← All MIPs

+

+ MIP-{{ page.mip }}: {{ page.title | escape }} + + {% if discussions_url %}💬{% endif %}🔗 + +

+ +{% if page.description %} +

{{ page.description | escape }}

+{% endif %} + + + + + {% if page.status %}{% endif %} + + {% if page.category %}{% endif %} + {% if page.created %}{% endif %} + {% if page.requires %}{% endif %} + +
Author{{ page.author | default: "-" | escape }}
Status{{ page.status | default: "-" | escape }}
Type{{ page.type | default: "-" | escape }}
Category{{ page.category | default: "-" | escape }}
Created{{ page.created | default: "-" | escape }}
Requires{{ page.requires | default: "-" | escape }}
+ +
+ {{ content }} +
+ +

Citation

+

Please cite this document as:

+

+ {{ page.author | default: "-" | escape }}, + "MIP-{{ page.mip }}: {{ page.title | escape }}," + Monad Improvement Proposals, + no. {{ page.mip }}, + {{ page.created | date: "%B %Y" }}. + [Online serial]. + Available: + {{ page.url | absolute_url }}. +

+ + diff --git a/apple-touch-icon.png b/apple-touch-icon.png new file mode 100644 index 0000000..b4f9ca4 Binary files /dev/null and b/apple-touch-icon.png differ diff --git a/favicon.svg b/favicon.svg new file mode 100644 index 0000000..901a5bd --- /dev/null +++ b/favicon.svg @@ -0,0 +1,3 @@ + + + diff --git a/index.md b/index.md new file mode 100644 index 0000000..385cb4a --- /dev/null +++ b/index.md @@ -0,0 +1,46 @@ +--- +layout: default +title: MIPs +--- + +# Monad Improvement Proposals (MIPs) + +{% assign mips = site.pages | where_exp: "p", "p.mip" | sort: "mip" %} + +{% if mips.size > 0 %} + + + + + + + + + + + {% for p in mips %} + + + + + + + {% endfor %} + +
NumberTitleAuthorType
{{ p.mip | escape }}{{ p.title | escape }}{{ p.author | default: "-" | escape }}{{ p.type | default: "-" | escape }}
+{% else %} +No MIPs found. +{% endif %} + +