Skip to content

GitLab

Modal Transition Systems · Changes

Page history
suchitel updated page: Modal Transition Systems authored by Sebastian Uchitel's avatar Sebastian Uchitel
Hide whitespace changes
Inline Side-by-side
Showing with 4 additions and 1 deletion
enduser/Modal-Transition-Systems.md
View page @ 4fd353f3
...@@ -15,4 +15,7 @@ B = (a -> b -> B | b? -> B). ...@@ -15,4 +15,7 @@ B = (a -> b -> B | b? -> B).
abstract ||COMP = (B). abstract ||COMP = (B).
``` ```
# End # End
\ No newline at end of file
---
[← End User](End-User)
\ No newline at end of file