Commit 7588f530 authored by Christian Müller's avatar Christian Müller

typing readme

parent 5c3623a5
......@@ -22,7 +22,7 @@ Workflow
# a workflow
# If types are omitted, everything is of type T, types can be given while binding the variables with the forall x:X
# Please use forallmay x:X,y:Y instead of forall x,y may (because of easier parsing)
# Please use forallmay x:X,y:Y instead of forall x:X,y:Y may (because of easier parsing)
Target
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment