Add guardedness to Main directly

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-08-08 13:28:25 -07:00
parent 7d2928ed81
commit 12971450e3
1 changed files with 1 additions and 0 deletions
--- a/Main.agda
+++ b/Main.agda
@@ -1,3 +1,4 @@
+{-# OPTIONS --guardedness #-}
 module Main where

 open import Language