search

zenna / Arrows.jl

14 stars 2 forks source link

Warn / prevent ports whose names have theta from not being labelled parametric ports #95

Open zenna opened 6 years ago

zenna commented 6 years ago

Maybe this will become obsolete if we take relational model