Mercurial > hg > Members > kono > Proof > category

log limit-to.agda @ 925:5eed22f4a75d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) -100 -15 tip
age author description
Fri, 03 May 2019 17:11:33 +0900 Shinji KONO rename discrete
Tue, 23 Apr 2019 11:30:34 +0900 Shinji KONO graph to category
Tue, 23 Apr 2019 05:12:42 +0900 Shinji KONO fix ccc
Wed, 26 Sep 2018 20:17:09 +0900 Shinji KONO fix applicative for Agda version 2.5.4.1
Sun, 12 Nov 2017 09:56:40 +0900 Shinji KONO change argument of Limit and K
Mon, 30 Oct 2017 18:14:41 +0900 Shinji KONO remove comp from limit-to
Sat, 12 Aug 2017 16:35:58 +0900 Shinji KONO move InitialObject to cat-utility
Mon, 05 Jun 2017 14:16:36 +0900 Shinji KONO prove fe=ge in limit-to
Sat, 18 Mar 2017 16:15:40 +0900 Shinji KONO IProduct is written in Sets
Tue, 14 Mar 2017 13:08:03 +0900 Shinji KONO fryed1 done
Sun, 12 Mar 2017 19:46:07 +0900 Shinji KONO found limit in freyd
Sat, 11 Mar 2017 16:38:08 +0900 Shinji KONO fix Limit pu a0 and t0 in record definition
Tue, 07 Mar 2017 08:27:33 +0900 Shinji KONO clean up
Tue, 07 Mar 2017 03:21:46 +0900 Shinji KONO discrete equality as a dom equality
Mon, 06 Mar 2017 17:23:10 +0900 Shinji KONO fix
less more | (0) -100 -15 tip