[sc34wg3] abstract-constraint isa topic-type?

[Lars Marius Garshol]

* Lars Marius Garshol
> 
> Yes. It's always that case that if
> 
>  a isa b
>  c ako a
> 
> then
> 
>  c isa b

As Graham pointed out to me in private email, this is completely wrong. Here's what I meant to write:

  a isa b
  b ako c

then

  a isa c

Sorry for the confusion.

--Lars M.
http://www.garshol.priv.no/tmphoto/
http://www.garshol.priv.no/blog/