| .. |
|
addition_var_fst.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
addition.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
adt_option_and.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
adt_string.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
and.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
bad_parens_making_erased_let.bend
|
Change comments to #
|
2024-05-15 21:26:16 +02:00 |
|
bool.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
cyclic_dup.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
double_main.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
eta_chain.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
ex0.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
ex2.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
example.bend
|
Change comments to #
|
2024-05-15 21:26:16 +02:00 |
|
exp.bend
|
Change comments to #
|
2024-05-15 21:26:16 +02:00 |
|
expr.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
extracted_match_pred.bend
|
Change comments to #
|
2024-05-15 21:26:16 +02:00 |
|
fst_fst.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
fst.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
hvm1_main.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
inline_app.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
inlining.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
linearize_match.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
list_merge_sort.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
list_reverse.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
match_adt_non_exhaustive.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
match_dup_and_reconstruction.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
match_mult_linearization.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
match_num_explicit_bind.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
match_tup.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
merge_definitions.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
non_exhaustive_and.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
non_exhaustive_different_types.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
non_exhaustive_pattern.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
non_exhaustive_tree.bend
|
Add Tree syntax and builtins
|
2024-06-05 16:00:43 +02:00 |
|
num_pattern_with_var.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
recursive_combinator_inactive.bend
|
Change comments to #
|
2024-05-15 21:26:16 +02:00 |
|
repeated_name_trucation.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
scrutinee_reconstruction.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
self_ref.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
snd.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
spacing2.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
spacing.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
str.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
sum_predicates.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
tagged_dup.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
tagged_lam.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
tagged_sup.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
unapplied_eta.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
unscoped_eta.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
var_shadows_ref.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
weekday.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
