Mercurial > hg > Members > kono > Proof > automaton

comparison automaton-in-agda/src/deriveUtil.agda @ 412:b85402051cdb default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add mul
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Fri, 05 Apr 2024 13:38:20 +0900
parents af8f630b7e60
children
comparison
equal deleted inserted replaced
411:207e6c4e155c 412:b85402051cdb
1 {-# OPTIONS --cubical-compatible --safe #-} 1 -- {-# OPTIONS --cubical-compatible safe #-}
2 2
3 module deriveUtil where 3 module deriveUtil where
4 4
5 open import Level renaming ( suc to succ ; zero to Zero ) 5 open import Level renaming ( suc to succ ; zero to Zero )
6 open import Data.Nat 6 open import Data.Nat