d9807c8 refactor

~ph14nix pushed to ~ph14nix/haskell-uc git

b80844e UC Sig: Use convenient names for the parties we communivate with

~ph14nix pushed to ~ph14nix/haskell-uc git

32c5ae5 Make signatureIF use nice flattened type wrappers

~ph14nix pushed to ~ph14nix/haskell-uc git

03c47d0 Use UC signature build

~ph14nix pushed to ~ph14nix/haskell-uc git

3857e8a fix signature, refactor

~ph14nix pushed to ~ph14nix/haskell-uc git

acd99ec fix signature

~ph14nix pushed to ~ph14nix/haskell-uc git

acbeadc Bring back AsyncExT and implement UCSigScheme with it

~ph14nix pushed to ~ph14nix/haskell-uc git

4b91d57 refactor

~ph14nix pushed to ~ph14nix/haskell-uc git

562b79f UC Signature IF

~ph14nix pushed to ~ph14nix/haskell-uc git

108c939 add adv interface

~ph14nix pushed to ~ph14nix/haskell-uc git

f1bd512 New prototypes for makred sids and pids

~ph14nix pushed to ~ph14nix/haskell-uc git

b96faa7 refactor spawnOnDemand

~ph14nix pushed to ~ph14nix/haskell-uc git

6370e05 make spawnOnDemand work

~ph14nix pushed to ~ph14nix/haskell-uc git

1201745 Fix the overly generic parameter m to PrAlgo

~ph14nix pushed to ~ph14nix/haskell-uc git

0189fc9 Add pattern synonyms for InList

~ph14nix pushed to ~ph14nix/haskell-uc git