summaryrefslogtreecommitdiff
path: root/lambda-calcul/haskell/test/Spec.hs
diff options
context:
space:
mode:
authorArnaud Bailly <arnaud@pankzsoft.com>2025-10-13 09:27:07 +0200
committerArnaud Bailly <arnaud@pankzsoft.com>2025-10-13 09:27:07 +0200
commit3a67e69bfe9492d2a2fc5e4b07cc8c909a346064 (patch)
tree8b4b0281dffe166f5c8495b1a5b892c1f8285870 /lambda-calcul/haskell/test/Spec.hs
parent21befc8c8ab2e91632f5341b4fa9425cf3c815ff (diff)
downloadlambda-nantes-3a67e69bfe9492d2a2fc5e4b07cc8c909a346064.tar.gz
add minimal evaluator and type inference
Diffstat (limited to 'lambda-calcul/haskell/test/Spec.hs')
-rw-r--r--lambda-calcul/haskell/test/Spec.hs1
1 files changed, 1 insertions, 0 deletions
diff --git a/lambda-calcul/haskell/test/Spec.hs b/lambda-calcul/haskell/test/Spec.hs
new file mode 100644
index 0000000..a824f8c
--- /dev/null
+++ b/lambda-calcul/haskell/test/Spec.hs
@@ -0,0 +1 @@
+{-# OPTIONS_GHC -F -pgmF hspec-discover #-}