catala:识字编程法规范的编程语言
需积分: 10 156 浏览量
2021-03-20
02:06:38
上传
评论
收藏 900KB ZIP 举报
catala:识字编程法规范的编程语言 （362个子文件） 
aggregation_2.catala 591B aggregation.catala 483B nested3.catala 479B sub_sub_scope.catala 419B bad_sub_sub_scope.catala 419B quick_pattern_2.catala 394B simple.catala 377B sub_scope.catala 371B grand_parent_caller.catala 359B func.catala 354B bad_func.catala 348B filter_map.catala 314B infinite_precision.catala 313B too_many_cases.catala 306B disambiguated_cases.catala 297B durations.catala 294B out_of_order.catala 283B duplicate_case.catala 282B exceptions_cycle.catala 253B missing_case.catala 241B wrong_qualified_field.catala 239B quick_pattern_check.catala 239B scope.catala 235B cycle_in_scope.catala 234B simple.catala 232B same_name_fields.catala 218B simple.catala 216B quick_pattern_fail.catala 215B fold_error.catala 214B ambiguous_fields.catala 213B simple.catala 213B test_bool.catala 197B simple.catala 190B exceptions_squared.catala 189B quick_pattern_3.catala 189B cyclic_scopes.catala 187B no_mingle.catala 186B one_ambiguous_exception.catala 185B sub_vars_in_sub_var.catala 182B nonexisting_struct.catala 179B quick_pattern_4.catala 177B empty_with_rules.catala 177B simple.catala 176B nested2.catala 174B two_unlabeled_exceptions.catala 171B unsorted_unlabeled_exceptions.catala 171B two_exceptions.catala 164B dangling_exception.catala 153B ambiguous_cases.catala 142B recursive.catala 137B split_unlabeled_exception.catala 132B exception.catala 131B nested.catala 130B ambiguous_unlabeled_exception.catala 123B self_exception.catala 117B conflict.catala 117B unlabeled_exception.catala 109B empty.catala 109B missing_unlabeled_definition.catala 95B section_121.catala_en 17KB tutorial_en.catala_en 15KB section_1015.catala_en 9KB test_section_121.catala_en 6KB Title17-MotorAndOtherVehicles.catala_en 5KB section_132.catala_en 4KB test_section_132.catala_en 1KB test_tutorial.catala_en 619B us_tax_code.catala_en 148B preamble.catala_en 124B tutoriel_fr.catala_fr 17KB securite_sociale_L.catala_fr 16KB securite_sociale_D.catala_fr 15KB decrets_divers.catala_fr 9KB securite_sociale_R.catala_fr 7KB tests_allocations_familiales.catala_fr 6KB prologue.catala_fr 6KB epilogue.catala_fr 5KB Section_I_Dispositions_generales.catala_fr 4KB tests_ouverture_droits.catala_fr 2KB test_tutoriel.catala_fr 727B allocations_familiales.catala_fr 252B code_general_impots.catala_fr 75B metadata.catala_fr 0B catala_fr.cson 7KB catala_en.cson 6KB catala_nv.cson 6KB dune 885B dune 633B dune 436B dune 164B dune 154B dune 151B dune 145B dune 144B dune 132B dune 83B dune 80B dune 11B dune-project 1KB Catala.Translation.fst 52KB共 362 条
- 1
- 2
- 3
- 4
评论0