|
The file was added | tests/baseline_compat/hyperon-mettalog_sanity/alpha_equivalence_assertions_he_744.metta |
The file was added | tests/baseline_compat/hyperon-mettalog_sanity/differen_arities_are_fine_he_603.metta |
The file was modified | src/canary/stdlib_mettalog.metta (diff) |
The file was added | tests/baseline_compat/hyperon-mettalog_sanity/partitioning_atomspaces_and_performance_he_774.metta |
The file was added | tests/baseline_compat/hyperon-mettalog_sanity/type_checking_symbol_he_673.metta |
The file was added | tests/baseline_compat/hyperon-mettalog_sanity/duplication_semantics_he_798.metta |
The file was added | tests/baseline_compat/hyperon-mettalog_sanity/single_sided_matching_he_674.metta |
The file was added | tests/baseline_compat/hyperon-mettalog_sanity/non_deterministic_functions_he_744.metta |
The file was added | tests/baseline_compat/hyperon-mettalog_sanity/unbounded_free_variables_he_787.metta |
The file was added | tests/baseline_compat/hyperon-mettalog_sanity/idiomatic_negation_and_set_difference_he_805.metta |
The file was modified | src/packs/lsp_server_metta/prolog/lsp_metta_hover.pl (diff) |
|
The file was added | tests/baseline_compat/hyperon-mettalog_sanity/tuple_type_checking_he_669.metta |
The file was modified | tests/baseline_compat/hyperon-mettalog_sanity/type_checking_symbol_he_673.metta (diff) |
|
The file was modified | tests/baseline_compat/hyperon-mettalog_sanity/base_test_repr_parse_intersection.metta (diff) |
The file was modified | tests/baseline_compat/hyperon-mettalog_sanity/represent_and_parse_tests.metta (diff) |
The file was modified | tests/baseline_compat/hyperon-mettalog_sanity/space_intersection_tests.metta (diff) |
The file was modified | tests/baseline_compat/hyperon-mettalog_sanity/intersection_tests.metta (diff) |
The file was modified | tests/baseline_compat/hyperon-mettalog_sanity/what_evals_or_not.metta (diff) |
The file was modified | tests/baseline_compat/hyperon-mettalog_sanity/space_subtraction_tests.metta (diff) |
|
The file was modified | tests/baseline_compat/hyperon-mettalog_sanity/duplication_semantics_he_798.metta (diff) |
The file was modified | tests/baseline_compat/hyperon-mettalog_sanity/non_deterministic_functions_he_744.metta (diff) |
The file was modified | tests/baseline_compat/hyperon-mettalog_sanity/partitioning_atomspaces_and_performance_he_774.metta (diff) |
The file was modified | tests/baseline_compat/hyperon-mettalog_sanity/type_checking_symbol_he_673.metta (diff) |
The file was modified | tests/baseline_compat/hyperon-mettalog_sanity/single_sided_matching_he_674.metta (diff) |
The file was modified | tests/baseline_compat/hyperon-mettalog_sanity/alpha_equivalence_assertions_he_744.metta (diff) |
The file was modified | tests/baseline_compat/hyperon-mettalog_sanity/differen_arities_are_fine_he_603.metta (diff) |
The file was modified | tests/baseline_compat/hyperon-mettalog_sanity/tuple_type_checking_he_669.metta (diff) |
The file was modified | tests/baseline_compat/hyperon-mettalog_sanity/idiomatic_negation_and_set_difference_he_805.metta (diff) |
The file was modified | tests/baseline_compat/hyperon-mettalog_sanity/unbounded_free_variables_he_787.metta (diff) |