| .. |
|
360_no_scope.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_match_wrong_tag.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
adt_match.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
adt_option_and.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
adt_wrong_tag.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 |
|
basic_num_ops.bend
|
Add dylib functions, improve the builtins file a bit
|
2024-07-22 11:11:12 +02:00 |
|
bend_fold.bend
|
Add Tree syntax and builtins
|
2024-06-05 16:00:43 +02:00 |
|
bitonic_sort_lam.bend
|
replace data with type
|
2024-05-29 11:59:58 -03:00 |
|
bitonic_sort.bend
|
Add Tree syntax and builtins
|
2024-06-05 16:00:43 +02:00 |
|
box.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
branch_statements_assignment.bend
|
Add Tree syntax and builtins
|
2024-06-05 16:00:43 +02:00 |
|
callcc.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
chars_forall.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
chars_lambda.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
chars.bend
|
Update lambda syntax and built-in constructor names
|
2024-05-15 15:23:26 -03:00 |
|
comprehension.bend
|
Implement to_fun for comprehension
|
2024-05-21 17:06:51 -03:00 |
|
def_bool_num.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
def_num_bool.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
def_tups.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
do_block_mixed.bend
|
Add file IO utils
|
2024-06-21 20:19:43 +02:00 |
|
dup_global_lam.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
empty.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
encode_decode_utf8.bend
|
Add dylib functions, improve the builtins file a bit
|
2024-07-22 11:11:12 +02:00 |
|
erased_side_effect.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
escape_sequences.bend
|
[sc-692] Add simple readback of tuples
|
2024-05-17 02:12:50 +02:00 |
|
eta.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
example.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
exp.bend
|
Change comments to #
|
2024-05-15 21:26:16 +02:00 |
|
expand_main_combinator.bend
|
Expand float_combinators defs inside main
|
2024-07-24 17:04:19 +02:00 |
|
expand_main_list.bend
|
Expand references in main inside constructors
|
2024-07-24 17:04:19 +02:00 |
|
extracted_match_pred.bend
|
Change comments to #
|
2024-05-15 21:26:16 +02:00 |
|
floating_numbers.bend
|
Skip underscore in fraction indexes
|
2024-08-05 08:57:18 -03:00 |
|
fold_with_state.bend
|
[sc-699] Require , in list-like things in imp syntax
|
2024-05-17 18:11:07 +02:00 |
|
guide_bend_7tree.bend
|
Add Tree syntax and builtins
|
2024-06-05 16:00:43 +02:00 |
|
guide_bend_sequential.bend
|
Add guide examples to tests
|
2024-05-22 21:25:31 +02:00 |
|
guide_bend_sum_tree.bend
|
Add guide examples to tests
|
2024-05-22 21:25:31 +02:00 |
|
guide_bitonic_sort.bend
|
Add guide examples to tests
|
2024-05-22 21:25:31 +02:00 |
|
guide_circle_area.bend
|
Add guide examples to tests
|
2024-05-22 21:25:31 +02:00 |
|
guide_distance_4args.bend
|
Add guide examples to tests
|
2024-05-22 21:25:31 +02:00 |
|
guide_distance_obj.bend
|
Add guide examples to tests
|
2024-05-22 21:25:31 +02:00 |
|
guide_distance_tup.bend
|
Add guide examples to tests
|
2024-05-22 21:25:31 +02:00 |
|
guide_enumerate.bend
|
Add Tree syntax and builtins
|
2024-06-05 16:00:43 +02:00 |
|
guide_if_age.bend
|
Add guide examples to tests
|
2024-05-22 21:25:31 +02:00 |
|
guide_is_even_num.bend
|
Add guide examples to tests
|
2024-05-22 21:25:31 +02:00 |
|
guide_is_even_str.bend
|
Add guide examples to tests
|
2024-05-22 21:25:31 +02:00 |
|
guide_list_ctrs.bend
|
Add guide examples to tests
|
2024-05-22 21:25:31 +02:00 |
|
guide_list_match.bend
|
Add guide examples to tests
|
2024-05-22 21:25:31 +02:00 |
|
guide_list_sugar.bend
|
Add guide examples to tests
|
2024-05-22 21:25:31 +02:00 |
|
guide_mul2_inline.bend
|
Add guide examples to tests
|
2024-05-22 21:25:31 +02:00 |
|
guide_mul2_rec.bend
|
Add guide examples to tests
|
2024-05-22 21:25:31 +02:00 |
|
guide_shader_dummy.bend
|
Change shader example in the guide
|
2024-06-10 18:35:29 -03:00 |
|
guide_sum.bend
|
Add Tree syntax and builtins
|
2024-06-05 16:00:43 +02:00 |
|
hvm_def_cast.bend
|
Add native number cast operations
|
2024-06-17 15:45:37 +02:00 |
|
hvm_def_two_defs.bend
|
Fix parsing of hvm defs
|
2024-06-15 18:57:36 +02:00 |
|
id_underscore.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
imp_empty_literals.bend
|
[sc-699] Require , in list-like things in imp syntax
|
2024-05-17 18:11:07 +02:00 |
|
imp_use_statement.bend
|
Fix comma in superposition parsing
|
2024-05-20 09:15:58 -03:00 |
|
kind_compiled_tree_sum.bend
|
Change comments to #
|
2024-05-15 21:26:16 +02:00 |
|
lam_op2_nested.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
lam_op2.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
let_tup_readback.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_resugar.bend
|
Update lambda syntax and built-in constructor names
|
2024-05-15 15:23:26 -03:00 |
|
list_reverse_imp.bend
|
Make with clauses take a bind and an argument
|
2024-05-29 09:57:40 +02:00 |
|
list_reverse.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
list_take.bend
|
Update lambda syntax and built-in constructor names
|
2024-05-15 15:23:26 -03:00 |
|
list_to_tree.bend
|
Update lambda syntax and built-in constructor names
|
2024-05-15 15:23:26 -03:00 |
|
mapper_syntax.bend
|
Implement in-place mapper
|
2024-05-29 16:51:38 -03:00 |
|
match_builtins.bend
|
Update lambda syntax and built-in constructor names
|
2024-05-15 15:23:26 -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_adt_tup_parser.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
match_num_explicit_bind.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
match_num_num_to_char.bend
|
Update lambda syntax and built-in constructor names
|
2024-05-15 15:23:26 -03:00 |
|
match_num_succ_complex.bend
|
Update docs, examples, fix scope of fork
|
2024-05-22 19:48:53 +02:00 |
|
match_str.bend
|
Update lambda syntax and built-in constructor names
|
2024-05-15 15:23:26 -03:00 |
|
match_sup.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
match_vars.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
match.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
math.bend
|
Add asin, acos, atan and round functions
|
2024-07-04 16:03:48 -03:00 |
|
merge_sort.bend
|
Add Tree syntax and builtins
|
2024-06-05 16:00:43 +02:00 |
|
mixed_syntax.bend
|
Add Tree syntax and builtins
|
2024-06-05 16:00:43 +02:00 |
|
names_hyphen_toplevel.bend
|
Expand references in main inside constructors
|
2024-07-24 17:04:19 +02:00 |
|
names_hyphen.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
nat_add_num.bend
|
Update lambda syntax and built-in constructor names
|
2024-05-15 15:23:26 -03:00 |
|
nat_add.bend
|
Update lambda syntax and built-in constructor names
|
2024-05-15 15:23:26 -03:00 |
|
nested_list_and_string.bend
|
Update lambda syntax and built-in constructor names
|
2024-05-15 15:23:26 -03:00 |
|
nested_map_get.bend
|
Fix variable generation for nested map gets
|
2024-05-24 08:35:44 -03:00 |
|
nested_map_set.bend
|
Implement getter generation for map setter keys
|
2024-05-24 12:22:42 -03:00 |
|
nested_str.bend
|
Update lambda syntax and built-in constructor names
|
2024-05-15 15:23:26 -03:00 |
|
num_cast.bend
|
Add native number cast operations
|
2024-06-17 15:45:37 +02:00 |
|
num_match_missing_var.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
num_pred.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
open_object.bend
|
[sc-686] Add record types and record type destructuring
|
2024-05-15 17:53:50 +02:00 |
|
open_too_many_ctrs.bend
|
[sc-686] Add record types and record type destructuring
|
2024-05-15 17:53:50 +02:00 |
|
open_undefined_type.bend
|
[sc-686] Add record types and record type destructuring
|
2024-05-15 17:53:50 +02:00 |
|
open.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
ops.bend
|
Implement le and ge operators
|
2024-06-05 17:44:05 -03:00 |
|
override_list_ctr.bend
|
Update lambda syntax and built-in constructor names
|
2024-05-15 15:23:26 -03:00 |
|
override_str_ctr.bend
|
Update lambda syntax and built-in constructor names
|
2024-05-15 15:23:26 -03:00 |
|
pred.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
queue.bend
|
Change comments to #
|
2024-05-15 21:26:16 +02:00 |
|
radix_sort_ctr.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
readback_hvm1_main.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
readback_list_other_ctr.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
readback_num_ops.bend
|
Fix readback of numeric operations
|
2024-06-07 17:59:41 +02:00 |
|
recursive_bind.bend
|
Add file IO utils
|
2024-06-21 20:19:43 +02:00 |
|
recursive_combinator_nested.bend
|
Change comments to #
|
2024-05-15 21:26:16 +02:00 |
|
recursive_combinator.bend
|
Change comments to #
|
2024-05-15 21:26:16 +02:00 |
|
recursive_match_native.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
ref_resolution.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
repeated_name_truncation.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
scopeless_discard.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
str_concat.bend
|
Update lambda syntax and built-in constructor names
|
2024-05-15 15:23:26 -03:00 |
|
str_inc_eta.bend
|
Change comments to #
|
2024-05-15 21:26:16 +02:00 |
|
str_inc.bend
|
Change comments to #
|
2024-05-15 21:26:16 +02:00 |
|
str_len.bend
|
Update lambda syntax and built-in constructor names
|
2024-05-15 15:23:26 -03:00 |
|
strict_monad_fn.bend
|
Add file IO utils
|
2024-06-21 20:19:43 +02:00 |
|
sum_tree.bend
|
Add Tree syntax and builtins
|
2024-06-05 16:00:43 +02:00 |
|
sup_app.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
sup_reconstruction.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
superposed_is_even.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
tagged_lam.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
tree_to_list.bend
|
Adds builtin functions Tree/reverse and Tree/to_list
|
2024-08-07 16:43:59 +02:00 |
|
tup_list_strings.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
tup_reconstruction.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
tuple_eta.bend
|
Add tuple eta test
|
2024-05-22 16:21:05 -03:00 |
|
tuple_rots.bend
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
unaplied_str.bend
|
Update lambda syntax and built-in constructor names
|
2024-05-15 15:23:26 -03:00 |
|
unbound_wrap.bend
|
Add unbound refs check
|
2024-05-31 18:52:22 +02:00 |
|
unscoped_never_used.bend
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
unused_dup_var.bend
|
Change comments to #
|
2024-05-15 21:26:16 +02:00 |
|
unused_main_var.bend
|
Expand refs in main, don't float combinators in main
|
2024-06-05 19:02:44 +02:00 |
|
world.bend
|
Update lambda syntax and built-in constructor names
|
2024-05-15 15:23:26 -03:00 |
|
wrong_string.bend
|
Update lambda syntax and built-in constructor names
|
2024-05-15 15:23:26 -03:00 |
