Skip to content

Commit 6cc3b92

Browse files
authored
Data.List: add functions to API (#6903)
1 parent 3420c2e commit 6cc3b92

File tree

8 files changed

+1811
-1027
lines changed

8 files changed

+1811
-1027
lines changed

plutus-tx-plugin/plutus-tx-plugin.cabal

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -135,6 +135,9 @@ test-suite plutus-tx-plugin-tests
135135
IsData.Spec
136136
Lib
137137
Lift.Spec
138+
List.Properties1
139+
List.Properties2
140+
List.Semantics
138141
List.Spec
139142
Optimization.Spec
140143
Plugin.Basic.Spec

0 commit comments

Comments
 (0)