Commits

Author Commit Message Labels Comments Date
Dmitry Grebeniuk
explicit Cd_Json.init ()
Dmitry Grebeniuk
init for cadastr_json
Dmitry Grebeniuk
.
Dmitry Grebeniuk
+ Cd_List.ti_list_string
Dmitry Grebeniuk
ti_expect_sum_exn
Dmitry Grebeniuk
ti_expect_record_exn
Dmitry Grebeniuk
ti_ctr_variant* -- relaxed typing
Dmitry Grebeniuk
.
Dmitry Grebeniuk
+ ti_ctr_variant4
Dmitry Grebeniuk
#type_name on records
Dmitry Grebeniuk
records' construction
Dmitry Grebeniuk
more type names
Dmitry Grebeniuk
more type names
Dmitry Grebeniuk
ti_sum_type: + ~type_name
Dmitry Grebeniuk
+ Int64
Dmitry Grebeniuk
+ Partapp (explicit partial applications)
Dmitry Grebeniuk
.
Dmitry Grebeniuk
Cdt.ti_option* -> Option.ti*
Dmitry Grebeniuk
List.ti construction
Dmitry Grebeniuk
.
Dmitry Grebeniuk
Cdt.expect_abs more diag
Dmitry Grebeniuk
+Tuple5
Dmitry Grebeniuk
+Cdt.ti_ubox
Dmitry Grebeniuk
+Tuple4
Dmitry Grebeniuk
+Cdt.ti_unit
Dmitry Grebeniuk
constructing tuples
Dmitry Grebeniuk
..dev..
Dmitry Grebeniuk
Monoid.ext: premap, postmap
Dmitry Grebeniuk
+ Int.Range.repeat
Dmitry Grebeniuk
+ Int.Range
  1. Prev
  2. Next