caso 0.2.2

Category Theory Solver for Commutative Diagrams
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

_sep: "()[]-=<>!"

4 plus = .r!({"=":"+2" "-":"+1"})
3 mor = [lexpr:"left" .w! {
  "<>":"zero"
  ["<":"right_inv" plus ">>"]
  ["<":"iso" plus ">"]
  [plus ">>":"epi"]
  ["<<":"rev_right_inv" plus ">"]
  ["<<":"rev_epi_mono" plus "!"]
  ["<<":"rev_epi" plus]
  [plus ">":"dir"]
  ["!" plus ">>":"epi_mono"]
  ["!" plus ">":"mono"]
  ["<" plus "!":"rev_mono"]
  ["<":"rev_dir" plus]
} .w! expr:"right"]
2 lexpr = {
  [{
    ["(" .w? expr .w? ")"]
    "0":"0"
    .._sep!:"obj"
  } ?["[" .w? expr:"path" .w? "]"]]
}
1 expr = {
  mor:"mor"
  lexpr
}
0 doc = [.w? expr:"expr" .w?]