timjb/halma

Unused LANGUAGE pragma

Open

{-# LANGUAGE LambdaCase #-}

• Read up
  Read up
• Exclude checks
  • Disable engine
  • Disable check

{-# LANGUAGE LambdaCase #-}