-
Notifications
You must be signed in to change notification settings - Fork 10
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
10 changed files
with
0 additions
and
0 deletions.
There are no files selected for viewing
Binary file modified
BIN
-3.63 KB
(25%)
tests/baseline_compat/hyperon-mettalog_sanity/alpha_equivalence_assertions_he_744.metta
Binary file not shown.
Binary file modified
BIN
-4.88 KB
(25%)
tests/baseline_compat/hyperon-mettalog_sanity/differen_arities_are_fine_he_603.metta
Binary file not shown.
Binary file modified
BIN
-4.51 KB
(25%)
tests/baseline_compat/hyperon-mettalog_sanity/duplication_semantics_he_798.metta
Binary file not shown.
Binary file modified
BIN
-5.74 KB
(25%)
...aseline_compat/hyperon-mettalog_sanity/idiomatic_negation_and_set_difference_he_805.metta
Binary file not shown.
Binary file modified
BIN
-6.97 KB
(25%)
tests/baseline_compat/hyperon-mettalog_sanity/non_deterministic_functions_he_744.metta
Binary file not shown.
Binary file modified
BIN
-7.55 KB
(25%)
...eline_compat/hyperon-mettalog_sanity/partitioning_atomspaces_and_performance_he_774.metta
Binary file not shown.
Binary file modified
BIN
-10.9 KB
(25%)
tests/baseline_compat/hyperon-mettalog_sanity/single_sided_matching_he_674.metta
Binary file not shown.
Binary file modified
BIN
-3.77 KB
(25%)
tests/baseline_compat/hyperon-mettalog_sanity/tuple_type_checking_he_669.metta
Binary file not shown.
Binary file modified
BIN
-11.1 KB
(25%)
tests/baseline_compat/hyperon-mettalog_sanity/type_checking_symbol_he_673.metta
Binary file not shown.
Binary file modified
BIN
-4.28 KB
(25%)
tests/baseline_compat/hyperon-mettalog_sanity/unbounded_free_variables_he_787.metta
Binary file not shown.