Agda (history) in nLab
May 26, 2024
- Current (diff)
- Revision 40 (diff)
- Revision 39 (diff)
November 8, 2023
February 19, 2023
February 15, 2023
February 14, 2023
February 1, 2023
January 28, 2023
December 28, 2022
December 26, 2022
December 22, 2022
October 8, 2022
-
Revision 27
(diff)
by Anonymous on October 8, 2022 at 02:27:36.
September 21, 2022
September 18, 2022
-
Revision 25
(diff)
by Mike Shulman on September 18, 2022 at 20:16:53.
September 7, 2022
-
Revision 24
(diff)
by Mike Shulman on September 7, 2022 at 17:17:21.
-
Revision 23
(diff)
by Mike Shulman on September 7, 2022 at 15:55:39.
September 3, 2022
July 14, 2022
-
Revision 20
(diff)
by Max S. New on July 14, 2022 at 16:00:25.
June 17, 2022
June 15, 2022
March 19, 2021
March 16, 2021
March 15, 2021
September 12, 2019
July 16, 2019
April 8, 2019
-
Revision 12
(diff)
by lelf on April 8, 2019 at 14:44:20.
May 21, 2017
-
Revision 11
(diff)
by Anonymous on May 21, 2017 at 09:20:28.
September 14, 2016
December 29, 2015
-
Revision 9
(diff)
by Bas Spitters on December 29, 2015 at 15:54:33.
June 12, 2015
June 3, 2015
April 21, 2015
June 18, 2013
March 20, 2013
-
Revision 4
(diff)
by Zoran Škoda on March 20, 2013 at 16:56:42.
November 21, 2012
-
Revision 3
(diff)
by Mike Shulman on November 21, 2012 at 01:55:39.