From 8296834b99e93a914923afca6393e1602c07493b Mon Sep 17 00:00:00 2001
From: Jack Hodgkinson <30505104+jhodgdev@users.noreply.github.com>
Date: Fri, 6 May 2022 10:55:09 +0100
Subject: [PATCH] added lint function to Makefile

---
 Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 6a3164c..5891d3d 100644
--- a/Makefile
+++ b/Makefile
@@ -1,7 +1,7 @@
 # This really ought to be `/usr/bin/env bash`, but nix flakes don't like that.
 SHELL := /bin/sh
 
-.PHONY: hoogle format haddock usage
+.PHONY: hoogle format haddock usage lint
 
 usage:
 	@echo "usage: make <command> [OPTIONS]"
@@ -40,3 +40,5 @@ haddock:
 tag:
 	hasktags -x agora agora-bench agora-test
 
+lint:
+	hlint agora agora-bench agora-test