diff --git a/.gitignore b/.gitignore
index 18b1731..e2d43af 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
 *.agda~
 *.agdai
 dist-newstyle
+.vscode
diff --git a/Makefile b/Makefile
index 6b95127..ed5b37e 100644
--- a/Makefile
+++ b/Makefile
@@ -1,9 +1,17 @@
-.PHONY: default build
+.PHONY: default
 
-default: build
+default: full_build
+
+clean:
+	@echo == Cleaning Haskell code directory ==
+	@rmdir /s /q lib ||:
+	@rm -r lib/ ||:
+	@echo == Cleaning Success ==
 
 build:
 	@echo == Compiling Agda code ==
 	agda2hs -olib -i. Everything.agda
 	@echo == Compiling Haskell code ==
 	cabal build all
+
+full_build: clean build 
\ No newline at end of file