Repository navigation

All pull requests

Labels (11)Milestones (0)New pull request

Open

(20)

Closed

(108)

mm0-c: match each .mm0 dummy at most once
#212zariuq opened Oct 16, 2026
docs: fix typo (begining->beginning (x1))
#206ltsyk opened Jul 30, 2026
number of errors in vscode should not disappear when user closes file
#200srghma opened May 21, 2026
Fix bug where a definition's bound variables were not properly added
#198abnormalhare opened Apr 28, 2026
Bump node-forge from 1.3.2 to 1.4.0 in /m0e
#196dependabot[bot] opened Mar 29, 2026Bot
Bump picomatch from 2.3.1 to 2.3.2 in /m0e
#194dependabot[bot] opened Mar 25, 2026Bot
Bump minimatch from 3.0.5 to 3.1.5 in /m0e
#192dependabot[bot] opened Mar 17, 2026Bot
Bump serialize-javascript, terser-webpack-plugin and copy-webpack-plugin in /m0e
#191dependabot[bot] opened Mar 6, 2026Bot
Update flake.lock
#190gleachkr opened Mar 2, 2026Contributor
1
Bump minimatch from 3.1.2 to 3.1.5 in /vscode-mm0
#189dependabot[bot] opened Feb 28, 2026Bot
Bump ajv from 6.12.6 to 6.14.0 in /m0e
#187dependabot[bot] opened Feb 22, 2026Bot
Bump qs from 6.14.0 to 6.14.2 in /m0e
#186dependabot[bot] opened Feb 14, 2026Bot
Bump qs from 6.10.3 to 6.14.2 in /vscode-mm0
#185dependabot[bot] opened Feb 12, 2026Bot
Bump webpack from 5.103.0 to 5.105.0 in /m0e
#184dependabot[bot] opened Feb 7, 2026Bot
Bump bytes from 1.10.1 to 1.11.1 in /mm0-rs
#183dependabot[bot] opened Feb 3, 2026Bot
Add SK-combinators example with custom reduction tactic
#181zetanumbers opened Jan 10, 2026Contributor
feat: mm0-hs -> update to latest stack (but server command is disabled) WIP
#176srghma opened Dec 21, 2025
towards lean4
#146olof-darin opened Feb 6, 2025
2
Compilation on Haiku
#144Sylvain78 opened Sep 25, 2024Contributor
Some examples can't be compiled by mm0-rs
#108joliss opened Oct 12, 2022Contributor
5

Pull requests