From 1ff3499e81af722775c992535522039e4ee7d69c Mon Sep 17 00:00:00 2001
From: Michael Zhang <mail@mzhang.io>
Date: Wed, 11 Oct 2023 13:42:22 -0500
Subject: [PATCH] rip

---
 utils/agda.Dockerfile | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/utils/agda.Dockerfile b/utils/agda.Dockerfile
index 1623957..7355275 100644
--- a/utils/agda.Dockerfile
+++ b/utils/agda.Dockerfile
@@ -1,3 +1,4 @@
-FROM        fpco/stack-build:lts-21
-LABEL author="Ting-Gian LUA <banacorn@gmail.com>"
-RUN stack --resolver=lts-21.13 install Agda-2.6.4 EdisonCore-1.3.2.1 data-hash-0.2.0.1 equivalence-0.3.4 geniplate-mirror-0.7.6 EdisonAPI-1.3.1 STMonadTrans-0.4.3
+FROM haskell:9
+RUN cabal update
+RUN cabal install Agda-2.6.4
+