12345678910111213141516171819202122{-# OPTIONS --safe #-}module CategoricalCrypto where -- Open problems -- We want to conveniently specify a machine that, on an input, sends-- messages to other machines, waits for replies and then continues-- execution. -- Can we write constructors more monadically? -- Improve syntax generally open import CategoricalCrypto.Channel.Category publicopen import CategoricalCrypto.Channel.Core publicopen import CategoricalCrypto.Channel.Selection publicopen import CategoricalCrypto.Machine.Constraints publicopen import CategoricalCrypto.Machine.Core publicopen import CategoricalCrypto.SFunM publicopen import CategoricalCrypto.Examples.Basicopen import CategoricalCrypto.Examples.Commitmentopen import CategoricalCrypto.Examples.Signatures