Skip to content

Commit 2d40a81

Browse files
authored
[Builtins] Annotate each builtin with its type signature (#5611)
1 parent d12e2f8 commit 2d40a81

File tree

1 file changed

+698
-398
lines changed
  • plutus-core/plutus-core/src/PlutusCore/Default

1 file changed

+698
-398
lines changed

0 commit comments

Comments
 (0)