diff general/rec.m @ 44:3cedfd4549ef

Code added since initial check in.
author samer
date Tue, 13 Jan 2015 14:03:17 +0000
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/general/rec.m	Tue Jan 13 14:03:17 2015 +0000
@@ -0,0 +1,5 @@
+% rec - elementary struct constructor
+%
+% rec :: N:string, A -> struct { N::A }.
+function s=rec(fn,val)
+	s.(fn)=val;