CS373 Fall 2021: Week 9

data Zero
data S t
data One = S Zero
data Two = S One
...
inner  :: QState n -> QState n -> C
tensor :: QState n -> QState n -> QState (S n)

--

--

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store