comparison automaton-in-agda/src/extended-automaton.agda @ 405:af8f630b7e60

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sun, 24 Sep 2023 18:02:04 +0900
parents 6f3636fbc481
children
comparison
equal deleted inserted replaced
404:dfaf230f7b9a 405:af8f630b7e60
1 {-# OPTIONS --allow-unsolved-metas #-} 1 {-# OPTIONS --cubical-compatible --safe #-}
2
3 -- {-# OPTIONS --allow-unsolved-metas #-}
2 module extended-automaton where 4 module extended-automaton where
3 5
4 open import Level renaming ( suc to succ ; zero to Zero ) 6 open import Level renaming ( suc to succ ; zero to Zero )
5 open import Data.Nat -- hiding ( erase ) 7 open import Data.Nat -- hiding ( erase )
6 open import Data.List 8 open import Data.List