|
The file was modified | tests/extended_compat/hyperon-pln/metta/inference-control/inf-ctl-month-bc-xp.metta (diff) |
The file was modified | tests/extended_compat/hyperon-pln/metta/pln/match/DeductionMatchTest.metta (diff) |
The file was modified | tests/extended_compat/hyperon-pln/metta/pln/dependent-types/DeductionImplicationDirectIntroductionDTLTest.metta (diff) |
The file was modified | tests/extended_compat/hyperon-pln/metta/common/formula/DeductionFormula.metta (diff) |
The file was added | tests/extended_compat/hyperon-pln/idris/StrictlySorted.idr |
The file was modified | tests/extended_compat/hyperon-pln/metta/pln/equal/DeductionEqual.metta (diff) |
The file was modified | tests/extended_compat/hyperon-pln/metta/pln/entail/ImplicationDirectIntroductionEntail.metta (diff) |
The file was modified | tests/extended_compat/hyperon-pln/metta/pln/equal/ImplicationDirectIntroductionEqualTest.metta (diff) |
The file was modified | tests/extended_compat/hyperon-pln/metta/synthesis/experiments/synthesize-via-let-test.metta (diff) |
The file was modified | tests/extended_compat/hyperon-pln/metta/pln/entail/ImplicationDirectIntroductionEntailTest.metta (diff) |
The file was modified | tests/extended_compat/hyperon-pln/metta/pln/dependent-types/ImplicationDirectIntroductionDTLTest.metta (diff) |
The file was added | tests/extended_compat/hyperon-pln/metta/hol/calculi-converter.metta |
The file was added | tests/extended_compat/hyperon-pln/metta/program-verification/NatStandaloneTest.metta |
The file was added | tests/extended_compat/hyperon-pln/metta/proof-tree/README.md |
The file was added | tests/extended_compat/hyperon-pln/metta/converters/README.md |
The file was modified | tests/extended_compat/hyperon-pln/metta/pln/equal/ImplicationDirectIntroductionEqual.metta (diff) |
The file was modified | tests/extended_compat/hyperon-pln/metta/synthesis/experiments/synthesize-via-type-checking.metta (diff) |
The file was added | tests/extended_compat/hyperon-pln/metta/program-verification/NatSimpleTest.metta |
The file was modified | tests/extended_compat/hyperon-pln/metta/synthesis/UnifyTest.metta (diff) |
The file was modified | tests/extended_compat/hyperon-pln/metta/common/truthvalue/TemporalTruthValue.metta (diff) |
The file was modified | tests/extended_compat/hyperon-pln/metta/inference-control/inf-ctl-month-bc-cont-xp.metta (diff) |
The file was modified | tests/extended_compat/hyperon-pln/metta/pln/equal/DeductionEqualTest.metta (diff) |
The file was added | tests/extended_compat/hyperon-pln/metta/hol/lambda-flatten.metta |
The file was modified | tests/extended_compat/hyperon-pln/metta/pln/dependent-types/DeductionDTLTest.metta (diff) |
The file was modified | tests/README.md (diff) |
The file was added | tests/extended_compat/hyperon-pln/metta/program-verification/ListTest.metta |
The file was modified | tests/extended_compat/hyperon-pln/metta/pln/dependent-types/ModusPonensDTLTest.metta (diff) |
The file was modified | tests/extended_compat/hyperon-pln/metta/pln/entail/DeductionEntailTest.metta (diff) |
The file was added | tests/extended_compat/hyperon-pln/metta/proof-tree/prg-assistant-example.metta |
The file was modified | tests/extended_compat/hyperon-pln/metta/hol/NatTest.metta (diff) |
The file was added | tests/extended_compat/hyperon-pln/metta/proof-tree/bug.metta |
The file was modified | tests/extended_compat/hyperon-pln/metta/pln/match/DeductionMatch.metta (diff) |
The file was modified | tests/extended_compat/hyperon-pln/metta/common/truthvalue/TruthValue.metta (diff) |
The file was modified | tests/extended_compat/hyperon-pln/metta/README.md (diff) |
The file was added | tests/extended_compat/hyperon-pln/metta/lambda-abstraction/README.md |
The file was added | tests/extended_compat/hyperon-pln/metta/program-verification/README.md |
The file was modified | tests/extended_compat/hyperon-pln/metta/curried-chaining/curried-chainer.metta (diff) |
The file was added | tests/extended_compat/hyperon-pln/metta/program-verification/NatDTLTest.metta |
The file was modified | tests/extended_compat/hyperon-pln/metta/inference-control/README.md (diff) |
The file was modified | tests/extended_compat/hyperon-pln/metta/subtyping/subtyping-test.metta (diff) |
The file was modified | tests/extended_compat/hyperon-pln/metta/pln/dependent-types/DeductionDTL.metta (diff) |
The file was modified | tests/extended_compat/hyperon-pln/metta/pln/match/DeductionImplicationDirectIntroductionMatchTest.metta (diff) |
The file was added | tests/extended_compat/hyperon-pln/metta/proof-tree/proof-tree.metta |
The file was modified | tests/extended_compat/hyperon-pln/metta/pln/entail/DeductionEntail.metta (diff) |
The file was modified | tests/extended_compat/hyperon-pln/metta/pln/dependent-types/ModusPonensDTL.metta (diff) |
The file was modified | tests/extended_compat/hyperon-pln/metta/synthesis/experiments/synthesize-via-unify-test.metta (diff) |
The file was modified | tests/extended_compat/hyperon-pln/metta/common/truthvalue/TruthValueTest.metta (diff) |
The file was added | tests/extended_compat/hyperon-pln/metta/converters/curry.metta |
The file was added | tests/extended_compat/hyperon-pln/metta/lambda-abstraction/lambda-abstraction.metta |
The file was added | tests/extended_compat/hyperon-pln/metta/program-verification/NatParityTest.metta |
The file was modified | tests/extended_compat/hyperon-pln/metta/synthesis/experiments/synthesize-via-unify.metta (diff) |
The file was modified | tests/extended_compat/hyperon-pln/metta/pln/dependent-types/ImplicationDirectIntroductionDTL.metta (diff) |
The file was added | tests/extended_compat/hyperon-pln/metta/converters/calculi-converter.metta |
The file was modified | tests/extended_compat/hyperon-pln/metta/common/formula/DeductionFormulaTest.metta (diff) |
The file was added | tests/extended_compat/hyperon-pln/metta/program-verification/NatTest.metta |
The file was added | tests/extended_compat/hyperon-pln/README.md |
|
The file was modified | tests/python_compat/metta-motto/README.md (diff) |
The file was modified | tests/python_compat/metta-motto/setup.py (diff) |
The file was removed | tests/more-anti-regression/minimal-metta/stdlib_minimal.metta |
The file was modified | tests/extended_compat/metta-examples/combinator-calculi/tree.metta (diff) |
The file was removed | tests/more-anti-regression/minimal-metta/stdlib_minimal_test.metta |
The file was modified | tests/more-anti-regression/stdlib-mettalog/stdlib_mettalog_test.metta (diff) |