• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for hjugement-protocol-0.0.0.20190519 source tarball

hjugement-protocol-0.0.0.20190519/

• COPYING
• README.md
• hjugement-protocol.cabal
• stack.yaml
• benchmarks/
  • Election.hs
  • Main.hs
  • Utils.hs
• src/
  • Voting/
    • Protocol.hs
    • Protocol/
      • Credential.hs
      • Election.hs
      • FFC.hs
      • Tally.hs
      • Trustee.hs
      • Utils.hs
      • Trustee/
        • Indispensable.hs
• tests/
  • HUnit.hs
  • Main.hs
  • QuickCheck.hs
  • Utils.hs
  • HUnit/
    • Credential.hs
    • Election.hs
    • FFC.hs
    • Trustee.hs
    • Trustee/
      • Indispensable.hs
  • QuickCheck/
    • Election.hs
    • Trustee.hs