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

jonathanvdc d97682e853 Change how simplify(), has_result() and has_definition() are implemented		8 年之前
..
modelverse_jit	d97682e853 Change how simplify(), has_result() and has_definition() are implemented	8 年之前
modelverse_kernel	2c7648ee90 Add support for JIT tracing	8 年之前
mvk_server	f563c2e8ba Decent merge	8 年之前
test	6fdb69d798 Compress the bootstrap.m and minimal.m file using gzip	9 年之前
README.txt	e527d9b485 Initial commit from svn	9 年之前
run_server.sh	e527d9b485 Initial commit from svn	9 年之前

		
				README.txt
			
				This is the Modelverse Kernel reference implementation.