Mercurial > hg > Members > kono > Proof > automaton

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

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sun, 24 Sep 2023 18:02:04 +0900
parents e5cf49902db3
children a60132983557
comparison
equal deleted inserted replaced
404:dfaf230f7b9a 405:af8f630b7e60
1 {-# OPTIONS --cubical-compatible #-}
2
1 {-# OPTIONS --sized-types #-} 3 {-# OPTIONS --sized-types #-}
2 open import Relation.Nullary 4 open import Relation.Nullary
3 open import Relation.Binary.PropositionalEquality 5 open import Relation.Binary.PropositionalEquality
4 module flcagl 6 module flcagl
5 (A : Set) 7 (A : Set)