| .. |
|
Arrow.v
|
b4a48710d5
Do arrows step by step: no lifting, no Hoare
|
%!s(int64=5) %!d(string=hai) anos |
|
ArrowLift.v
|
f43ea0588e
Define lifts of arrows
|
%!s(int64=5) %!d(string=hai) anos |
|
Equivalence.v
|
58d76afac4
Define equivalency of arrow signatures
|
%!s(int64=5) %!d(string=hai) anos |
|
Lift.v
|
faa972d9a7
Lift Gallina functions to their Arrow signatures
|
%!s(int64=5) %!d(string=hai) anos |
|
Parallel.v
|
b14392c5f4
Let parA take implicit type parameters
|
%!s(int64=5) %!d(string=hai) anos |
|
Primitives.v
|
b14392c5f4
Let parA take implicit type parameters
|
%!s(int64=5) %!d(string=hai) anos |
|
PureConstructions.v
|
afdcd3bc1a
Define some glue arrows
|
%!s(int64=5) %!d(string=hai) anos |
|
Sequential.v
|
92079de86f
Correct definition of guarantee for sequential composition
|
%!s(int64=5) %!d(string=hai) anos |
Ariadne Devos
f43ea0588e
Define lifts of arrows