From 9c471c801c400313af41c342e7e15c01ae3c8653 Mon Sep 17 00:00:00 2001 From: jihgfee <jihgfee@gmail.com> Date: Tue, 27 Oct 2020 20:56:19 +0100 Subject: [PATCH] Branch -> Choice --- papers/POPL20.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/papers/POPL20.md b/papers/POPL20.md index 258bc90..4a14353 100644 --- a/papers/POPL20.md +++ b/papers/POPL20.md @@ -10,7 +10,7 @@ Introduction: [theories/examples/basics.v](../theories/examples/basics.v) Tour of Actris - Basics: [theories/examples/sort.v](../theories/examples/sort.v) - Higher-Order Functions: [theories/examples/sort.v](../theories/examples/sort.v) - - Branching: [theories/examples/sort_br_del.v](../theories/examples/sort_br_del.v) + - Choice: [theories/examples/sort_br_del.v](../theories/examples/sort_br_del.v) - Recursion: [theories/examples/sort_br_del.v](../theories/examples/sort_br_del.v) - Delegation: [theories/examples/sort_br_del.v](../theories/examples/sort_br_del.v) - Dependent: [theories/examples/sort_fg.v](../theories/examples/sort_fg.v) -- GitLab