In midterm 2017, ex 3, why aren't the last lines all filled with X. In the exercise description we say: FixedChan[P, +R] so it's invariant in its argument parameter no? so we can't say which one is a supertype/subtype of which when comparing 2 FixedChan or a Chan and a FxedChan
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information