Please publicly post the following Gist, and name it keybase.md
I hereby claim:
- I am hithroc on github.
- I am hithroc (https://keybase.io/hithroc) on keybase.
- I have a public key ASC-VTfAc_xTQhZ_PL7mWTqOkKdZj0CUEc2lvQ1gfPEl1Ao
{-# LANGUAGE UndecidableSuperClasses, FunctionalDependencies, RoleAnnotations, ExplicitNamespaces, TypeFamilies, RankNTypes, TypeApplications, LambdaCase, DerivingStrategies, ScopedTypeVariables, TypeOperators, DataKinds, PolyKinds, GADTs, TypeFamilyDependencies, ConstraintKinds, UndecidableInstances, TypeSynonymInstances, FlexibleInstances, DeriveGeneric, AllowAmbiguousTypes, StrictData #-} | |
{-# OPTIONS_GHC -Wno-redundant-constraints -Wno-overlapping-patterns -Wno-incomplete-patterns | |
-Weverything #-} | |
{- | Module, containing restrictions imposed by instruction or value scope. | |
Michelson have multiple restrictions on values, examples: | |
* @operation@ type cannot appear in parameter. | |
* @big_map@ type cannot appear in @PUSH@-able constants. | |
* @contract@ type cannot appear in type we @UNPACK@ to. |
Please publicly post the following Gist, and name it keybase.md
I hereby claim: