pres added

gabrielegenovese · Mar 21, 2024 · f6c9754 · f6c9754
1 parent c69766f
commit f6c9754
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 1 deletion.
diff --git a/assets/pres21mar.pdf b/assets/pres21mar.pdf
diff --git a/src/choreography/eval.erl b/src/choreography/eval.erl
@@ -383,7 +383,6 @@ call_by_package(Package, FunName, _ArgList, Data) ->
 rand_package(FunName, Data) ->
     case FunName of
         uniform -> simple_type(integer, ?ANYDATA, Data);
-        %%% TODO: expand
         _ -> share:warning("rand's function not yet implemented:", FunName, Data)
     end.