Mercurial > hg > Gears > GearsAgda

comparison logic.agda @ 948:e5288029f850

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
RBTree fix
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sat, 20 Jul 2024 17:01:50 +0900
parents 0b791ae19543
children 057d3309ed9d
comparison
equal deleted inserted replaced
947:91137bc52ddd 948:e5288029f850
1 {-# OPTIONS --safe --cubical-compatible #-}
1 module logic where 2 module logic where
2 3
3 open import Level 4 open import Level
4 5
5 open import Relation.Nullary 6 open import Relation.Nullary