lucas/modelverse: Code repository for master thesis about example-driven DSML design @ 382dc0fc3d91e4d173c38431f3ebfefd10ddecc3

Yentl Van Tendeloo a2d1291d36 Further constrain types of conformance operations		9 年之前
..
conformance_scd.alh	a2d1291d36 Further constrain types of conformance operations	9 年之前
constructors.alh	520b077bba Constrain the types of constructors further (Element --> Action)	9 年之前
io.alh	e527d9b485 Initial commit from svn	9 年之前
library.alh	e527d9b485 Initial commit from svn	9 年之前
object_operations.alh	ab394a5dbb Made conformance_scd a bit more readable and fixed some latent bugs in	9 年之前
primitives.alh	ab394a5dbb Made conformance_scd a bit more readable and fixed some latent bugs in	9 年之前