kc3-lang/kc3/.ic3_history

Branch : - branch - marshall master pdf v0.1 - tag - HTTPd-v0.1.0 HTTPd-v0.1.1 HTTPd-v0.2.0 v0 v0.1.0 v0.1.1 v0.1.10 v0.1.11 v0.1.12 v0.1.13 v0.1.14 v0.1.15 v0.1.16 v0.1.2 v0.1.3 v0.1.4 v0.1.5 v0.1.6 v0.1.7 v0.1.8 v0.1.9

• Show log

  Commit

• Author : Thomas de Grivel
  Date : 2023-12-15 05:30:38
  Hash : a5aa00a4
  Message : wip env_eval_struct

• .ic3_history

• %{a: a} = %{a: 1, b: 2, c: 3}
  a
  1 + 10000000000000000000000000000000000
  a = 1 + 10000000000000000000000000000000000
  a / 2
  a << 3
  a << 4
  (U8) { 1, 2, 3, 256, 257, 258 }
  a = (U8) { 1, 2, 3, 256, 257, 258 }
  a[0]
  a[1]
  a[2]
  a[10]
  a[-10]
  a[0]
  Map.map
  Map.map(%{a: 1, b: 2, c: 3}, fn (k, v) { [v | k] })
  Map.map(%{a: 1, b: 2, c: 3}, fn (k, v) { {k, v} })
  to_list = fn (map = %{}) { Map.map(map, fn (k, v) { {k, v} })
  to_list(%{a: 1, b: b})
  to_list = fn (map) { Map.map(map, fn (k, v) { {k, v} })
  to_list(%{a: 1, b: b})
  to_list = fn (map) { Map.map(map, fn (k, v) { {k, v} } }
  to_list = fn (m) { Map.map(m, fn (k, v) { {k, v} } }
  to_list = fn (m) { Map.map(m, fn (k, v) { {k, v} }) }
  to_list = fn (map = %{}) { Map.map(map, fn (k, v) { {k, v} }) }
  to_list(%{a: 1, b: b})
  to_list(%{a: 1, b: 2})
  to_list = fn (map) { Map.map(map, fn (k, v) { {k, v} }) }
  to_list(%{a: 1, b: 2})
  Map.to_list(%{a: 1, b: 2})
  "\U+1FAB0"
  1 + 10000000000000000000000000000
  Map.map
  Map.to_list
  make
  %GL.Sphere{}