Mercurial > hg > Members > kono > Proof > category
comparison list-nat.agda @ 802:7bc41fc7b563
graph with positive logic to Sets
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 25 Apr 2019 03:50:30 +0900 |
parents | 92eb707498c7 |
children |
comparison
equal
deleted
inserted
replaced
801:aa4fbd007247 | 802:7bc41fc7b563 |
---|