Skip to content

Commit 97cdb15

Browse files
siddhartha-gadgilsiddhartha-gadgil
committed
importing loogle syntax
1 parent 70883b9 commit 97cdb15

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

‎LeanSearchClient.lean

+1
Original file line numberDiff line numberDiff line change
@@ -2,3 +2,4 @@
22
-- Import modules here that should be built as part of the library.
33
import LeanSearchClient.Basic
44
import LeanSearchClient.Syntax
5+
import LeanSearchClient.LoogleSyntax

0 commit comments

Comments
 (0)