From 04d62df9fdd42c603fad7bb1b5e3fb49bf8550c1 Mon Sep 17 00:00:00 2001 From: Malte Voos Date: Mon, 17 Jun 2024 17:41:38 +0200 Subject: implement typechecking --- toytt.opam | 1 + 1 file changed, 1 insertion(+) (limited to 'toytt.opam') diff --git a/toytt.opam b/toytt.opam index c111515..a10e9c7 100644 --- a/toytt.opam +++ b/toytt.opam @@ -17,6 +17,7 @@ depends: [ "algaeff" "asai" "bwd" + "fmt" "yuujinchou" "odoc" {with-doc} ] -- cgit 1.4.1