Skip to content

Commit

Permalink
Proofreading
Browse files Browse the repository at this point in the history
  • Loading branch information
effectfully committed Jan 10, 2022
1 parent f10c848 commit f6426c1
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion plutus-core/plutus-core/src/PlutusCore/Constant/Typed.hs
Original file line number Diff line number Diff line change
Expand Up @@ -718,7 +718,7 @@ could actually work and if we ever write a paper on builtins, we should mention
elaborating @cons :: a -> [a] -> [a]@ as a Plutus builtin we need to unlift both the arguments
and check that their @a@s are equal
(See Note [Representable built-in functions over polymorphic built-in types])
and it either way too complex or even impossible to do that automatically within some generic
and it's either way too complex or even impossible to do that automatically within some generic
machinery
So what we do is we simply require the user to write
Expand Down

0 comments on commit f6426c1

Please sign in to comment.