Add monadic translator examples back

CakeML · Feb 10, 2018 · 609a5b4 · 609a5b4
1 parent 7c2a900
commit 609a5b4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/developers/build-sequence b/developers/build-sequence
@@ -66,7 +66,7 @@ candle/standard/opentheory
 # examples and tests
 characteristic/examples
 tutorial/solutions
-#translator/monadic/examples   # TODO: uncomment this line
+translator/monadic/examples
 
 examples
 examples/compilation