Skip to content
Snippets Groups Projects
Commit 9c471c80 authored by Jonas Kastberg's avatar Jonas Kastberg
Browse files

Branch -> Choice

parent 2528ab76
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
papers/POPL20.md
+ 1
− 1
View file @ 9c471c80
......@@ -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)
......
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