Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Better DSL syntax

  • Loading branch information...
commit adf6a9af20235f0e1904bda7682e5b0d556dd237 1 parent 6613810
Edwin Brady authored
Showing with 6 additions and 1 deletion.
  1. +6 −1 linlang.idr
View
7 linlang.idr
@@ -116,7 +116,12 @@ dsl (V, Lam) {
}
}
-syntax rio x = dsl(Bind, I, V, Lam) x;
+dsl rio {
+ bind = Bind
+ return = I
+ variable = V
+ lambda = Lam
+}
prog2 : RIO ();
prog2 = rio do
Please sign in to comment.
Something went wrong with that request. Please try again.