WIP: Transfer the annotations of Flow parameters to the synthetic type (!223) · Merge requests · bluebank / braid · GitLab

Christopher Wells requested to merge 112-transfer-the-annotations-of-flow-parameters into master Nov 11, 2019

This is obsoleted by !251 (merged)

Similarly https://gitlab.com/bluebank/braid/tree/112-transfer-the-annotations-of-flow-parameters is obsoleted by https://gitlab.com/bluebank/braid/tree/112-squashed

Edited Dec 18, 2019 by Christopher Wells