Merge pull request #11 from torsion-labs/update-readme-with-lhs-example

Update readme with lhs example
l-adic · Jan 25, 2024 · bb70ee7 · bb70ee7
2 parents ab27272 + 400da7b
commit bb70ee7
Show file tree

Hide file tree

Showing 64 changed files with 2,436 additions and 1,043 deletions.
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
@@ -32,5 +32,5 @@ jobs:
       - name: 'Run HLint'
         uses: rwe/actions-hlint-run@v2
         with:
-          path: .
+          path: src
           fail-on: warning
diff --git a/README.md b/README.md
diff --git a/app/Main.hs b/app/Main.hs
@@ -1,9 +1,13 @@
+{-# LANGUAGE RebindableSyntax #-}
+
 module Main where
 
 import Snarkl.CLI (defaultMain)
 import Snarkl.Field (F_BN128)
+import Snarkl.Language.Prelude
 import Snarkl.Toplevel (Comp, Ty (TField))
 import qualified Test.Snarkl.Unit.Programs as Programs
+import Prelude hiding (return, (+), (>>=))
 
 main :: IO ()
-main = defaultMain "prog" (Programs.prog2 10 :: Comp 'TField F_BN128)
+main = defaultMain "prog" (Programs.prog2 1 :: Comp 'TField F_BN128)