From f6dde1041a52da4f2e7ccb77eed3c577f9d07798 Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Wed, 1 Apr 2026 16:18:01 +0200 Subject: Remove answers from sent challenges Also fix integration test --- lambda-calcul/haskell/src/Minilang/Lambda/Unify.hs | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'lambda-calcul/haskell/src/Minilang/Lambda/Unify.hs') diff --git a/lambda-calcul/haskell/src/Minilang/Lambda/Unify.hs b/lambda-calcul/haskell/src/Minilang/Lambda/Unify.hs index 96e9990..fa6f1dd 100644 --- a/lambda-calcul/haskell/src/Minilang/Lambda/Unify.hs +++ b/lambda-calcul/haskell/src/Minilang/Lambda/Unify.hs @@ -1,11 +1,12 @@ +{-# LANGUAGE DeriveAnyClass #-} -- ported from https://www.cs.cornell.edu/courses/cs3110/2011sp/Lectures/lec26-type-inference/type-inference.htm {-# LANGUAGE LambdaCase #-} -{-# LANGUAGE DeriveAnyClass #-} + module Minilang.Lambda.Unify where +import Data.Aeson (FromJSON, ToJSON) import Data.Text (Text) import GHC.Generics (Generic) -import Data.Aeson (ToJSON, FromJSON) type Identifier = Text -- cgit v1.3.1