Welcome to the Sign integrity generic notation Page!
This is a language for expressing the integrity of data evaluation generic way. It is designed to be used in various Anyone, such as data validation, integrity checks, and Functional Effects.
---
config:
theme: redux-dark
---
graph LR
subgraph Product[" "]
Syntax
List
Stack
Literal
Compilation
end
subgraph Coproduct[" "]
Semantics
Lambda
Stream
Operator
Interpretation
end
Syntax --> Semantics
Semantics --> Syntax
List --> Lambda
Lambda --> List
Stack --> Stream
Stream --> Stack
Literal --> Operator
Operator --> Literal
Compilation --> Interpretation
Interpretation --> Compilation