Skip to content

Commit 52eeab6

Browse files
gaetanserregaetanserre
committed
mk_all
1 parent dfeb187 commit 52eeab6

1 file changed

Lines changed: 1 addition & 0 deletions

File tree

‎Test.lean‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,3 +9,4 @@ public import Test.Instances
99
public import Test.IsMarkov
1010
public import Test.Loops
1111
public import Test.MonadLaws
12+
public import Test.Sample

0 commit comments

Comments
 (0)