Modules in Juvix

Juvix Package version

package : Package :=
  defaultPackage@{
    name := "nspec";
    version := mkVersion 0 1 0;
    dependencies :=
      [github "anoma" "juvix-stdlib" "v0.8.0"]
  };

Modules by letter

A

• anoma

• anoma_environment

• anoma_message

B

• basics

C

• commitment

• commitment_behaviour

• commitment_environment

• commitment_messages

• compute

• configurator

• crypto

D

• decryption

• decryption_behaviour

• decryption_environment

• decryption_messages

E

• encryption

• encryption_behaviour

• encryption_environment

• encryption_messages

• engine

• engine_behaviour

• engine_environment

• everything

I

• identities

• identity

• identity_management

• identity_management_behaviour

• identity_management_environment

• identity_management_messages

• index

M

• messages

N

• naming

• naming_behaviour

• naming_environment

• naming_messages

P

• p2p

• prelude

R

• reads_for

• reads_for_behaviour

• reads_for_environment

• reads_for_messages

S

• signs_for

• signs_for_behaviour

• signs_for_environment

• signs_for_messages

T

• template

• template_behaviour

• template_environment

• template_messages

• ticker

• ticker_behaviour

• ticker_environment

• ticker_messages

• types

V

• verification

• verification_behaviour

• verification_environment

• verification_messages