| .. |
|
adt_tup_era.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
and3.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
bool_tup.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
bool.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
box.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
common.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
concat_def.bend
|
Update lambda syntax and built-in constructor names
|
2024-05-15 15:23:26 -03:00 |
|
concat.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
def_tups.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
definition_merge.bend
|
Make with clauses take a bind and an argument
|
2024-05-29 09:57:40 +02:00 |
|
expr.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
flatten_era_pat.bend
|
Change comments to #
|
2024-05-15 21:26:16 +02:00 |
|
full_map.bend
|
Add full_map test
|
2024-06-17 12:29:51 -03:00 |
|
is_some_some.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
list_merge_sort.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
list_str_encoding_undeclared_fn.bend
|
Update lambda syntax and built-in constructor names
|
2024-05-15 15:23:26 -03:00 |
|
list_str_encoding_undeclared_map.bend
|
Update lambda syntax and built-in constructor names
|
2024-05-15 15:23:26 -03:00 |
|
match_adt_unscoped_in_arm.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
match_adt_unscoped_lambda.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
match_adt_unscoped_var.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
match_auto_linearization.bend
|
Change comments to #
|
2024-05-15 21:26:16 +02:00 |
|
match_bind.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
match_num_adt_tup_parser.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
match_num_pred.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
match_syntax.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
merge_recursive.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
no_patterns.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
non_matching_fst_arg.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
ntup_sum.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
pattern_match_encoding.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
switch_in_switch_arg.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
var_only.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
weekday.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
