(Arne Babenhauserheide)
2013-03-26: example: added . a at top level: Just the variable example: added . a at top level: Just the variable
diff --git a/example.w b/example.w --- a/example.w +++ b/example.w @@ -54,3 +54,5 @@ let c let : : a b + +. a \ No newline at end of file