Resolve "Add axioms"

Closes #70 (closed)

added Kernel label

added 1 commit

• 0ce37415 - fix(kernel): add axiom constructor

Compare with previous version

added 3 commits

• 9380961f - feat(all): remove `Var` builder
• 1a97c49c - feat(kernel): add axiom constructor
• b00a9cbe - feat(kernel): add type-checking for axioms

Compare with previous version

added 4 commits

• 0821eb2e - fix(kernel): output of declaration infering
• 908a888c - chore(kernel): add TODO
• def78fd9 - chore(parser): remove outdated TODO
• eb00243e - feat(kernel): add axiom declarations

Compare with previous version

added 1 commit

• ee2c2795 - feat(kernel): add recursor reduction

Compare with previous version

added 3 commits

• 541c4564 - Revert "feat(all): remove `Var` builder"
• 9a6de622 - fix(parser):tests
• 59adbc1c - fix(kernel): recursor reduction

Compare with previous version

added 1 commit

• 8e31c20d - Revert "Revert "feat(all): remove `Var` builder""

Compare with previous version

added 1 commit

• f79b3e72 - fix(parser): parsing of vars

Compare with previous version

added 1 commit

• 30144fc8 - Resolve "Add Universe Polymorphism" ✨️

Compare with previous version

added 1 commit

• 889aacf0 - feat(kernel): generalize recursors reductors

Compare with previous version

added 1 commit

• 2f4ff2e8 - fix(kernel): remove unused function

Compare with previous version

changed target branch from 28-add-universe-polymorphism-3 to main

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

Compare with previous version

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

Compare with previous version

added 1 commit

• 9d7a5265 - fix(kernel): seamless builder interface for variable/declarations

Compare with previous version

added 2 commits

• 4ab2d2ff - fix(kernel): fix type inference memoization issue with declarations
• 95b0b01c - chore(kernel): make annoying clippy happy

Compare with previous version

added 2 commits

• 8a93ca5a - chore(parser): make annoying clippy happy
• 1a26391a - chore(proost): make annoying clippy happy

Compare with previous version

added 1 commit

• aab1e57d - fix(kernel): fix memoization issue with WHNF and reductions

Compare with previous version

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

Compare with previous version

added 1 commit

• 52584c62 - fix(kernel): fix memoization issue with WHNF and reductions

Compare with previous version

added 1 commit

• 99193da7 - feat(kernel): better Axiom type

Compare with previous version

added 1 commit

• 9d1288b3 - feat(kernel): have working axioms

Compare with previous version

added 1 commit

• 52a2196f - feat(kernel): have working axioms

Compare with previous version

marked this merge request as ready

added To review label

added 1 commit

• 5869fc26 - chore(kernel): move axiom.rs back to root

Compare with previous version

added 1 commit

• db90be73 - chore(kernel): move axiom.rs back to root

Compare with previous version

added 1 commit

• 14bc316f - Apply 1 suggestion(s) to 1 file(s)

Compare with previous version

added 2 commits

• 89f211e1 - fix(kernel): fix comment
• a9460d07 - chore(kernel):add coverage

Compare with previous version

added 1 commit

• 6868e3a9 - chore(kernel):add coverage

Compare with previous version

added 1 commit

• df6133b4 - chore(kernel): coverage

Compare with previous version

added 1 commit

• 5e213b04 - chore(kernel): remove unused file

Compare with previous version

added 1 commit

• 0640c064 - Apply 1 suggestion(s) to 1 file(s)

Compare with previous version

added 1 commit

• da753699 - Apply 1 suggestion(s) to 1 file(s)

Compare with previous version

added 1 commit

• 7e1d49ea - Apply 1 suggestion(s) to 1 file(s)

Compare with previous version

added 1 commit

• 7654a3ca - Apply 1 suggestion(s) to 1 file(s)

Compare with previous version

added 1 commit

• 65283c7b - Apply 1 suggestion(s) to 1 file(s)

Compare with previous version

added 1 commit

• 208d12c2 - chore(kernel): remove unused pointer

Compare with previous version