Closed RyanGlScott closed 8 years ago
The sequel to this pull request. The only tricky instance to define is Representable Complex. I choice type Rep Complex = Bool, but this is somewhat of an ad hoc choice, so please review to make sure it makes sense adjunctorially.
Representable Complex
type Rep Complex = Bool
The sequel to this pull request. The only tricky instance to define is
Representable Complex
. I choicetype Rep Complex = Bool
, but this is somewhat of an ad hoc choice, so please review to make sure it makes sense adjunctorially.