Skip to content
GitLab
Explore
Sign in
Iris
Actris
Repository
actris
theories
examples
basics.v
Find file
Blame
History
Permalink
Added another example for channel delegation
· 7d4da4bd
Jonas Kastberg
authored
Nov 17, 2019
7d4da4bd