search

AshleyYakeley / Truth

Changes and Pinafore projects. Pull requests not accepted.
https://pinafore.info/
GNU General Public License v2.0
32 stars 0 forks source link

DynamicType type #245

Closed AshleyYakeley closed 2 months ago

AshleyYakeley commented 8 months ago 
type storable DynamicType;
subtype DynamicType <: Entity;
fromEntity.DynamicType: DynamicEntity -> DynamicType;
newEntity.DynamicType: DynamicType -> Action DynamicEntity;
fromType.DynamicType @T: DynamicType;
fromAbstract.DynamicType @T: List DynamicType;
subtype.DynamicType @T: DynamicType -> Boolean;
AshleyYakeley commented 2 months ago

Done.