changeset | 8031568638d0 |
---|---|
branch | |
bookmark | |
tag | |
user | atton <atton@cr.ie.u-ryukyu.ac.jp> |
description | Define composition of codesegment using subtype without constraint list |
files |
changeset | fe5755744071 |
---|---|
branch | |
bookmark | |
tag | |
user | atton <atton@cr.ie.u-ryukyu.ac.jp> |
description | Trying prove associativity of composition of code segments |
files |
changeset | 49de29c12c7b |
---|---|
branch | |
bookmark | |
tag | |
user | atton <atton@cr.ie.u-ryukyu.ac.jp> |
description | Define code segment compose operator using type -> ds cast! |
files |
changeset | af1fe3bd9f1e |
---|---|
branch | |
bookmark | |
tag | |
user | atton <atton@cr.ie.u-ryukyu.ac.jp> |
description | Define code segment compose operator using type -> ds cast |
files |
changeset | 08b695ca359c |
---|---|
branch | |
bookmark | |
tag | |
user | atton <atton@cr.ie.u-ryukyu.ac.jp> |
description | Cannot compose code segments has another type signature ... |
files |
changeset | 72cf35fb82af |
---|---|
branch | |
bookmark | |
tag | |
user | atton <atton@cr.ie.u-ryukyu.ac.jp> |
description | Add composition sample |
files |
changeset | 0a780145c5ff |
---|---|
branch | |
bookmark | |
tag | |
user | atton <atton@cr.ie.u-ryukyu.ac.jp> |
description | Define compose operator using list of subtype |
files |
changeset | f7916d13e2b1 |
---|---|
branch | |
bookmark | |
tag | |
user | atton <atton@cr.ie.u-ryukyu.ac.jp> |
description | Trying define type composition using list of subtype... |
files |
changeset | 2abf1cd97f10 |
---|---|
branch | |
bookmark | |
tag | |
user | atton <atton@cr.ie.u-ryukyu.ac.jp> |
description | Trying define type composition using list of subtype |
files |
changeset | e6b965df2137 |
---|---|
branch | |
bookmark | |
tag | |
user | atton <atton@cr.ie.u-ryukyu.ac.jp> |
description | Trying define type composition using subtype through DS |
files |
changeset | d8312361afdc |
---|---|
branch | |
bookmark | |
tag | |
user | atton <atton@cr.ie.u-ryukyu.ac.jp> |
description | Call subtype using user-defined cast operator with subtype list |
files |
changeset | a0ca5e29a9dc |
---|---|
branch | |
bookmark | |
tag | |
user | atton <atton@cr.ie.u-ryukyu.ac.jp> |
description | Call subtype using user-defined cast operator |
files |
changeset | 60e604972f30 |
---|---|
branch | |
bookmark | |
tag | |
user | atton <atton@cr.ie.u-ryukyu.ac.jp> |
description | Trying define codesegment using named-product with subtype |
files |