Resolve "Add axioms"
Closes #70 (closed)
Merge request reports
Activity
Filter activity
added Kernel label
added 1 commit
- 8e31c20d - Revert "Revert "feat(all): remove `Var` builder""
added 1 commit
- 889aacf0 - feat(kernel): generalize recursors reductors
assigned to @belazy
added 16 commits
-
8b20ac80 - 1 commit from branch
main
- af6f03dc - fix(kernel): add axiom constructor
- e5976e2e - feat(all): remove `Var` builder
- ce002efb - feat(kernel): add axiom constructor
- bf34af3f - feat(kernel): add type-checking for axioms
- 594343b5 - fix(kernel): output of declaration infering
- 7a8cf3d6 - chore(kernel): add TODO
- d7c7acb3 - chore(parser): remove outdated TODO
- 1273c12c - feat(kernel): add axiom declarations
- 695ed59d - feat(kernel): add recursor reduction
- ab950c53 - Revert "feat(all): remove `Var` builder"
- 3572fe02 - fix(parser):tests
- 36d03d81 - fix(kernel): recursor reduction
- 5f7d70b4 - fix(parser): parsing of vars
- bb69b887 - feat(kernel): generalize recursors reductors
- d8f29809 - fix(kernel): remove unused function
Toggle commit list-
8b20ac80 - 1 commit from branch
added 17 commits
-
d8f29809...30fa4424 - 3 commits from branch
main
- 95285bff - fix(kernel): add axiom constructor
- 9b45578e - feat(all): remove `Var` builder
- e32c4b10 - feat(kernel): add axiom constructor
- da0a4102 - feat(kernel): add type-checking for axioms
- 343c2df3 - chore(kernel): add TODO
- 0a4625e8 - chore(parser): remove outdated TODO
- 309d45d2 - feat(kernel): add axiom declarations
- 2be566ce - feat(kernel): add recursor reduction
- b6f7293a - Revert "feat(all): remove `Var` builder"
- 8bcdab25 - fix(parser):tests
- cbec9070 - fix(kernel): recursor reduction
- 356d1e74 - fix(parser): parsing of vars
- a4f5f7fc - feat(kernel): generalize recursors reductors
- c2b7448b - fix(kernel): remove unused function
Toggle commit list-
d8f29809...30fa4424 - 3 commits from branch
added 1 commit
- 9d7a5265 - fix(kernel): seamless builder interface for variable/declarations
added 1 commit
- aab1e57d - fix(kernel): fix memoization issue with WHNF and reductions
added 21 commits
-
d3a9c669 - 1 commit from branch
main
- 170c136d - fix(kernel): add axiom constructor
- 5f628593 - feat(all): remove `Var` builder
- cfd8180c - feat(kernel): add axiom constructor
- 03ed284e - feat(kernel): add type-checking for axioms
- 11bb448d - chore(kernel): add TODO
- c1d022e2 - chore(parser): remove outdated TODO
- fa3f9722 - feat(kernel): add axiom declarations
- fcd9d109 - feat(kernel): add recursor reduction
- e34e3a9a - Revert "feat(all): remove `Var` builder"
- 8bf7b046 - fix(parser):tests
- 276b2711 - fix(kernel): recursor reduction
- 3a467483 - fix(parser): parsing of vars
- bb609dae - feat(kernel): generalize recursors reductors
- 62867016 - fix(kernel): remove unused function
- 4ad0e4b2 - fix(kernel): seamless builder interface for variable/declarations
- 30c16a87 - fix(kernel): fix type inference memoization issue with declarations
- 52538aaa - chore(kernel): make annoying clippy happy
- 71ba0cde - chore(parser): make annoying clippy happy
- 125e9867 - chore(proost): make annoying clippy happy
- aae35a4e - fix(kernel): fix memoization issue with WHNF and reductions
Toggle commit list-
d3a9c669 - 1 commit from branch
added 1 commit
- 52584c62 - fix(kernel): fix memoization issue with WHNF and reductions
added To review label
- Resolved by v-lafeychine
- Resolved by belazy
- Resolved by v-lafeychine
added 2 commits
- Resolved by belazy
- Resolved by belazy
- Resolved by belazy
- Resolved by belazy
- Resolved by v-lafeychine
- Resolved by belazy
- Resolved by belazy
- Resolved by belazy
Please register or sign in to reply