Snippets Groups Projects

This is an archived project. Repository and other project resources are read-only.

example.yaml

7 years ago

Prettify functor expressions · e91b4e7b

Hans-Peter Deifel authored 7 years ago

This switches the parser for functor expressions (not yet morphisms)
from a YAML based one to a custom one, making those expressions much
more readable and giving individual functors greater flexibility to
define their own syntax.

e91b4e7b

Prettify functor expressions

Hans-Peter Deifel authored 7 years ago

This switches the parser for functor expressions (not yet morphisms)
from a YAML based one to a custom one, making those expressions much
more readable and giving individual functors greater flexibility to
define their own syntax.

example.yaml 267 B

functor: "{box,circle,triangle} x PX"

morphisms:
- - box            # 0: s1
  - triangle       # 1: t1
  - triangle       # 2: t2
  - circle         # 3: c1
  - circle         # 4: c2
  - circle         # 5: c3
- - []
  - [3, 4, 5]
  - [3, 4]
  - [0]
  - [5]
  - []