Skip to main content

Browse the archive

https://github.com/AndrasKovacs/universes
25 November 2021, 07:09:07 UTC
sort by:
Revision Author Date Message Commit Date
dfb2127 AndrasKovacs 29 October 2021, 18:43:22 UTC fixes 29 October 2021, 18:43:22 UTC
f616dfc AndrasKovacs 12 July 2021, 09:39:51 UTC new sub minor fixes 12 July 2021, 09:39:51 UTC
ce580fb AndrasKovacs 05 June 2021, 10:43:03 UTC fix 05 June 2021, 10:43:03 UTC
623d093 AndrasKovacs 19 April 2021, 13:49:40 UTC update arxiv sub with fixes 19 April 2021, 13:49:40 UTC
85447ae András Kovács 08 April 2021, 08:46:32 UTC update efop pres 08 April 2021, 08:46:32 UTC
fa53374 András Kovács 08 April 2021, 07:18:24 UTC translate efop prez to Hungarian 08 April 2021, 07:18:24 UTC
2ce4ee6 András Kovács 06 April 2021, 17:17:11 UTC stuff 06 April 2021, 17:17:11 UTC
b2ff040 András Kovács 18 March 2021, 16:33:00 UTC Merge branch 'master' of https://github.com/AndrasKovacs/universes 18 March 2021, 16:33:00 UTC
5510c76 András Kovács 18 March 2021, 16:32:47 UTC typo 18 March 2021, 16:32:47 UTC
ba49166 AndrasKovacs 08 March 2021, 15:52:20 UTC Create README.md 08 March 2021, 15:52:20 UTC
4228018 András Kovács 27 February 2021, 14:11:32 UTC update arxiv version 27 February 2021, 14:11:32 UTC
4bfb17b András Kovács 27 February 2021, 14:00:41 UTC update Agda, arxivzip 27 February 2021, 14:00:41 UTC
515b793 András Kovács 27 February 2021, 13:22:05 UTC add arxiv sub which doesn't work on arxiv 27 February 2021, 13:22:05 UTC
7c049dd András Kovács 23 February 2021, 11:57:34 UTC last edit 23 February 2021, 11:57:34 UTC
edc72bb András Kovács 23 February 2021, 11:40:23 UTC correction 23 February 2021, 11:42:59 UTC
e333200 András Kovács 23 February 2021, 07:46:16 UTC correction 23 February 2021, 07:46:16 UTC
3775385 András Kovács 22 February 2021, 17:37:48 UTC typo 22 February 2021, 17:39:30 UTC
3750eac András Kovács 22 February 2021, 17:13:44 UTC kill old notes 22 February 2021, 17:13:44 UTC
dc20f0e András Kovács 22 February 2021, 17:02:26 UTC delete unneeded agda files 22 February 2021, 17:02:26 UTC
32e4368 András Kovács 22 February 2021, 17:01:29 UTC Tidy up Agda, paper typos 22 February 2021, 17:01:29 UTC
842b162 András Kovács 22 February 2021, 10:20:26 UTC progress 22 February 2021, 10:20:26 UTC
c1e8182 András Kovács 22 February 2021, 09:38:19 UTC Merge branch 'master' of https://github.com/AndrasKovacs/universes 22 February 2021, 09:38:19 UTC
41702e7 András Kovács 22 February 2021, 09:38:04 UTC progress 22 February 2021, 09:38:04 UTC
0069095 AndrasKovacs 22 February 2021, 08:37:23 UTC Update README.md 22 February 2021, 08:37:23 UTC
59ada81 András Kovács 21 February 2021, 19:08:56 UTC push pdf 21 February 2021, 19:08:56 UTC
f14c8cf András Kovács 21 February 2021, 19:07:47 UTC progress 21 February 2021, 19:07:47 UTC
9f4c1c3 András Kovács 21 February 2021, 16:50:26 UTC progress 21 February 2021, 16:50:26 UTC
ab3e9a1 András Kovács 21 February 2021, 15:08:27 UTC progress 21 February 2021, 15:08:27 UTC
b0b16b0 András Kovács 20 February 2021, 21:59:56 UTC progress 20 February 2021, 21:59:56 UTC
fddf30a András Kovács 19 February 2021, 10:45:01 UTC progress 19 February 2021, 10:45:01 UTC
8d54a27 András Kovács 18 February 2021, 21:11:28 UTC progress 18 February 2021, 21:11:28 UTC
4a437a1 András Kovács 17 February 2021, 21:56:58 UTC progress 17 February 2021, 21:56:58 UTC
3f82688 András Kovács 17 February 2021, 13:40:21 UTC progress 17 February 2021, 13:40:21 UTC
042892b András Kovács 15 February 2021, 15:16:07 UTC Merge branch 'master' of https://github.com/AndrasKovacs/universes 15 February 2021, 15:16:07 UTC
0a5352a András Kovács 15 February 2021, 15:15:42 UTC progress on paper 15 February 2021, 15:15:42 UTC
0d82a9c AndrasKovacs 13 December 2020, 08:29:20 UTC Update Universes.agda 13 December 2020, 08:29:20 UTC
bea1c30 András Kovács 06 December 2020, 11:31:13 UTC Merge branch 'master' of https://github.com/AndrasKovacs/universes 06 December 2020, 11:31:13 UTC
480f190 András Kovács 06 December 2020, 11:28:35 UTC new version 06 December 2020, 11:29:16 UTC
1eafb4d AndrasKovacs 21 September 2019, 22:03:10 UTC Update OrdinalUniverses.agda 21 September 2019, 22:03:10 UTC
a794bc2 AndrasKovacs 21 September 2019, 22:02:58 UTC Update OrdinalUniverses.agda 21 September 2019, 22:02:58 UTC
ac0c5a9 AndrasKovacs 20 September 2019, 15:29:34 UTC Update OrdinalUniverses.agda 20 September 2019, 15:29:34 UTC
dc51e43 AndrasKovacs 19 September 2019, 20:20:42 UTC Update README.md 19 September 2019, 20:20:42 UTC
9d5e92c András Kovács 19 September 2019, 20:09:52 UTC Add internal TT levels example snippet 19 September 2019, 20:09:52 UTC
cfc6b28 AndrasKovacs 19 September 2019, 12:41:22 UTC Create OrdinalUniverses.agda 19 September 2019, 12:41:22 UTC
af3a70a AndrasKovacs 19 September 2019, 12:34:18 UTC Initial commit 19 September 2019, 12:34:18 UTC
back to top