342f075 | Ambrus Kaposi | 02 June 2022, 14:03:40 UTC | add supplementary link and remove negative spaces | 02 June 2022, 14:03:40 UTC |
081ccb7 | Ambrus Kaposi | 30 May 2022, 10:41:32 UTC | pdf | 30 May 2022, 10:41:32 UTC |
7d2eb9d | Ambrus Kaposi | 30 May 2022, 10:28:08 UTC | spacing | 30 May 2022, 10:28:08 UTC |
67ce411 | Ambrus Kaposi | 30 May 2022, 10:22:21 UTC | Merge branch 'master' of bitbucket.org:akaposi/prop | 30 May 2022, 10:22:21 UTC |
539f744 | Ambrus Kaposi | 30 May 2022, 10:22:15 UTC | final instructions | 30 May 2022, 10:22:15 UTC |
4e2b944 | Donkó István | 28 May 2022, 12:48:19 UTC | Fix two minor typos | 28 May 2022, 12:48:19 UTC |
f0272e2 | Ambrus Kaposi | 27 May 2022, 13:42:46 UTC | stuff | 27 May 2022, 13:42:46 UTC |
41326d9 | Ambrus Kaposi | 27 May 2022, 13:36:45 UTC | more space | 27 May 2022, 13:36:45 UTC |
a7173aa | Ambrus Kaposi | 27 May 2022, 13:22:45 UTC | save space | 27 May 2022, 13:22:45 UTC |
7e0de0c | Ambrus Kaposi | 24 May 2022, 13:17:30 UTC | stuff | 24 May 2022, 13:17:30 UTC |
e87beaa | DrpontAgon | 09 May 2022, 14:56:52 UTC | Reset original | 09 May 2022, 14:56:52 UTC |
29a1d3f | DrpontAgon | 09 May 2022, 14:56:10 UTC | Update GraphModel.agda | 09 May 2022, 14:56:10 UTC |
aa02575 | Ambrus Kaposi | 05 May 2022, 17:10:29 UTC | Merge branch 'master' of bitbucket.org:akaposi/prop | 05 May 2022, 17:10:29 UTC |
3b1166f | Ambrus Kaposi | 05 May 2022, 17:10:23 UTC | update pdf | 05 May 2022, 17:10:23 UTC |
3a1e46e | Ambrus Kaposi | 05 May 2022, 17:10:05 UTC | comments | 05 May 2022, 17:10:05 UTC |
b381e7a | Ambrus Kaposi | 30 April 2022, 08:06:57 UTC | readme.md edited online with Bitbucket | 30 April 2022, 08:06:57 UTC |
d5940e2 | Ambrus Kaposi | 30 April 2022, 08:05:16 UTC | actualise | 30 April 2022, 08:05:16 UTC |
7da1e40 | Ambrus Kaposi | 30 April 2022, 08:03:37 UTC | todos | 30 April 2022, 08:03:37 UTC |
f26869e | Ambrus Kaposi | 30 April 2022, 07:53:50 UTC | formalis | 30 April 2022, 07:53:50 UTC |
2e29a93 | Ambrus Kaposi | 30 April 2022, 07:52:53 UTC | typo | 30 April 2022, 07:52:53 UTC |
e000550 | Ambrus Kaposi | 30 April 2022, 07:50:13 UTC | more info in readme | 30 April 2022, 07:50:13 UTC |
05aa32c | Ambrus Kaposi | 30 April 2022, 07:36:55 UTC | stuff | 30 April 2022, 07:36:55 UTC |
2843423 | Ambrus Kaposi | 30 April 2022, 07:14:12 UTC | rename | 30 April 2022, 07:14:12 UTC |
9d0713d | Ambrus Kaposi | 30 April 2022, 07:12:12 UTC | closer to lam[] | 30 April 2022, 07:12:12 UTC |
65e8e00 | Ambrus Kaposi | 29 April 2022, 13:47:30 UTC | stuff | 29 April 2022, 13:47:30 UTC |
5980e17 | Ambrus Kaposi | 29 April 2022, 12:43:48 UTC | added transpbeta and funext | 29 April 2022, 12:43:48 UTC |
4dc4305 | Ambrus Kaposi | 29 April 2022, 07:10:16 UTC | transp[] | 29 April 2022, 07:10:16 UTC |
1b0cd19 | Ambrus Kaposi | 28 April 2022, 23:06:31 UTC | stuff | 28 April 2022, 23:06:31 UTC |
98dfde2 | Ambrus Kaposi | 26 April 2022, 21:28:58 UTC | stuff | 26 April 2022, 21:28:58 UTC |
d21f585 | Ambrus Kaposi | 26 April 2022, 21:26:13 UTC | stuff | 26 April 2022, 21:26:13 UTC |
9f19e90 | Ambrus Kaposi | 26 April 2022, 21:04:20 UTC | stuff | 26 April 2022, 21:04:20 UTC |
3b55145 | Ambrus Kaposi | 26 April 2022, 20:59:54 UTC | stuff | 26 April 2022, 20:59:54 UTC |
5ac5431 | Ambrus Kaposi | 26 April 2022, 20:55:32 UTC | stuff | 26 April 2022, 20:55:32 UTC |
6e20371 | Ambrus Kaposi | 26 April 2022, 19:59:45 UTC | some_props | 26 April 2022, 19:59:45 UTC |
a21a6df | Ambrus Kaposi | 26 April 2022, 13:49:53 UTC | stuff | 26 April 2022, 13:49:53 UTC |
35256af | Ambrus Kaposi | 26 April 2022, 13:40:45 UTC | stuff | 26 April 2022, 13:40:45 UTC |
f32b633 | Ambrus Kaposi | 26 April 2022, 13:33:09 UTC | stuff | 26 April 2022, 13:33:09 UTC |
d17dee4 | Ambrus Kaposi | 26 April 2022, 13:28:08 UTC | started props | 26 April 2022, 13:28:08 UTC |
47a92b4 | Ambrus Kaposi | 26 April 2022, 13:25:23 UTC | stuff | 26 April 2022, 13:25:23 UTC |
f994746 | Ambrus Kaposi | 26 April 2022, 13:20:11 UTC | stuff | 26 April 2022, 13:20:11 UTC |
8f79fcf | Ambrus Kaposi | 26 April 2022, 13:16:08 UTC | stuff | 26 April 2022, 13:16:08 UTC |
c14e433 | Ambrus Kaposi | 26 April 2022, 13:09:15 UTC | typ= | 26 April 2022, 13:09:15 UTC |
811cfa5 | Ambrus Kaposi | 26 April 2022, 12:55:02 UTC | non-dep instead f nondep | 26 April 2022, 12:55:02 UTC |
04bd734 | Ambrus Kaposi | 26 April 2022, 12:54:17 UTC | point-free instead of point free | 26 April 2022, 12:54:17 UTC |
3e6e8b3 | Ambrus Kaposi | 26 April 2022, 12:53:08 UTC | bot,top | 26 April 2022, 12:53:08 UTC |
0738807 | Ambrus Kaposi | 26 April 2022, 12:31:55 UTC | stuff | 26 April 2022, 12:31:55 UTC |
9a84483 | Ambrus Kaposi | 26 April 2022, 12:27:14 UTC | stuff | 26 April 2022, 12:27:14 UTC |
f4918f4 | Ambrus Kaposi | 26 April 2022, 11:50:50 UTC | stuff | 26 April 2022, 11:50:50 UTC |
56b2d19 | Ambrus Kaposi | 26 April 2022, 11:13:58 UTC | Merge branch 'master' of bitbucket.org:akaposi/prop | 26 April 2022, 11:13:58 UTC |
3d67e7e | Ambrus Kaposi | 26 April 2022, 11:13:52 UTC | stuff | 26 April 2022, 11:13:52 UTC |
9d40de9 | Ambrus Kaposi | 26 April 2022, 06:26:56 UTC | stuff | 26 April 2022, 06:26:56 UTC |
93e014d | Ambrus Kaposi | 26 April 2022, 06:17:41 UTC | stuff | 26 April 2022, 06:17:41 UTC |
d142d4f | István Donkó | 26 April 2022, 03:22:29 UTC | Stuck with TyP= | 26 April 2022, 03:22:29 UTC |
8f47242 | Ambrus Kaposi | 25 April 2022, 23:28:15 UTC | stuff | 25 April 2022, 23:28:15 UTC |
f3f073c | Ambrus Kaposi | 25 April 2022, 23:08:47 UTC | stuff | 25 April 2022, 23:08:47 UTC |
ee3b8dd | Ambrus Kaposi | 25 April 2022, 22:07:57 UTC | stuff | 25 April 2022, 22:07:57 UTC |
9a782d2 | Ambrus Kaposi | 25 April 2022, 22:00:01 UTC | stuff | 25 April 2022, 22:00:01 UTC |
997aca1 | Ambrus Kaposi | 25 April 2022, 20:26:40 UTC | veletlenul ottmaradt | 25 April 2022, 20:26:40 UTC |
e462123 | Ambrus Kaposi | 25 April 2022, 20:12:30 UTC | remove old stuff | 25 April 2022, 20:12:30 UTC |
3d13dad | Ambrus Kaposi | 25 April 2022, 20:08:20 UTC | remove old stuff | 25 April 2022, 20:08:20 UTC |
0790bd0 | Ambrus Kaposi | 25 April 2022, 20:05:33 UTC | Merge branch 'master' of bitbucket.org:akaposi/prop | 25 April 2022, 20:05:33 UTC |
83a51ee | Ambrus Kaposi | 25 April 2022, 20:05:26 UTC | todos | 25 April 2022, 20:05:26 UTC |
0bd373f | Ambrus Kaposi | 25 April 2022, 20:03:53 UTC | sigma finished | 25 April 2022, 20:03:53 UTC |
bf97ecf | István Donkó | 25 April 2022, 19:19:51 UTC | Add tilde component of Id to Construction 14. | 25 April 2022, 19:19:51 UTC |
efd11f5 | István Donkó | 25 April 2022, 15:36:18 UTC | Further minor fixes | 25 April 2022, 15:36:18 UTC |
7a82418 | István Donkó | 25 April 2022, 10:54:48 UTC | Correct more typos | 25 April 2022, 10:54:48 UTC |
9f1b9e0 | Ambrus Kaposi | 25 April 2022, 10:48:55 UTC | kovetkezo lepes | 25 April 2022, 10:48:55 UTC |
53a765b | Ambrus Kaposi | 25 April 2022, 10:46:59 UTC | Merge branch 'master' of bitbucket.org:akaposi/prop | 25 April 2022, 10:46:59 UTC |
237442b | Ambrus Kaposi | 25 April 2022, 10:46:55 UTC | todos | 25 April 2022, 10:46:55 UTC |
185b838 | István Donkó | 25 April 2022, 10:25:54 UTC | Remove accidental duplicate word and letter 'e' | 25 April 2022, 10:34:21 UTC |
7e283b3 | Ambrus Kaposi | 25 April 2022, 08:46:00 UTC | stuff | 25 April 2022, 08:46:00 UTC |
2bd0a6d | Ambrus Kaposi | 25 April 2022, 07:51:28 UTC | func | 25 April 2022, 07:51:28 UTC |
16fd4c1 | Ambrus Kaposi | 25 April 2022, 00:51:22 UTC | stuff | 25 April 2022, 00:51:22 UTC |
87f0b1b | Ambrus Kaposi | 24 April 2022, 21:23:08 UTC | const and nondep function | 24 April 2022, 21:23:08 UTC |
5abae87 | Ambrus Kaposi | 24 April 2022, 17:36:17 UTC | depend on Model | 24 April 2022, 17:36:17 UTC |
f4767d8 | Ambrus Kaposi | 24 April 2022, 17:18:43 UTC | stuff | 24 April 2022, 17:18:43 UTC |
63f282a | Ambrus Kaposi | 24 April 2022, 16:26:59 UTC | open public | 24 April 2022, 16:26:59 UTC |
6f81696 | Ambrus Kaposi | 24 April 2022, 16:24:37 UTC | top | 24 April 2022, 16:24:37 UTC |
fc9128d | Ambrus Kaposi | 24 April 2022, 16:17:58 UTC | strictified model | 24 April 2022, 16:17:58 UTC |
9698275 | Ambrus Kaposi | 24 April 2022, 15:18:15 UTC | random stuff for sigma | 24 April 2022, 15:18:15 UTC |
6853005 | Ambrus Kaposi | 24 April 2022, 13:02:02 UTC | style changes | 24 April 2022, 13:02:02 UTC |
f000418 | Ambrus Kaposi | 24 April 2022, 10:56:30 UTC | Merge branch 'master' of bitbucket.org:akaposi/prop | 24 April 2022, 10:56:30 UTC |
799e6b8 | Ambrus Kaposi | 24 April 2022, 10:56:25 UTC | sigma | 24 April 2022, 10:56:25 UTC |
093fa59 | István Donkó | 24 April 2022, 10:51:32 UTC | 1/4 goals of Π[] | 24 April 2022, 10:51:32 UTC |
8a3487f | Ambrus Kaposi | 24 April 2022, 08:31:16 UTC | stuff | 24 April 2022, 08:31:16 UTC |
c79d30b | István Donkó | 23 April 2022, 20:26:41 UTC | Πη, Id and <>= solved in a hacky way | 23 April 2022, 20:26:41 UTC |
07cc8c6 | Ambrus Kaposi | 23 April 2022, 17:01:04 UTC | stuff | 23 April 2022, 17:01:04 UTC |
b0168e6 | Ambrus Kaposi | 23 April 2022, 16:57:44 UTC | todos | 23 April 2022, 16:57:44 UTC |
2b4a4b5 | Ambrus Kaposi | 23 April 2022, 16:54:18 UTC | stuff | 23 April 2022, 16:54:18 UTC |
731635e | Ambrus Kaposi | 23 April 2022, 16:44:22 UTC | agda | 23 April 2022, 16:44:22 UTC |
a76658e | Ambrus Kaposi | 23 April 2022, 15:50:06 UTC | change section 6 | 23 April 2022, 15:50:06 UTC |
16c190e | Ambrus Kaposi | 23 April 2022, 12:29:51 UTC | comment | 23 April 2022, 12:29:51 UTC |
0d65d71 | Ambrus Kaposi | 23 April 2022, 12:24:46 UTC | props | 23 April 2022, 12:24:46 UTC |
36b37a5 | Ambrus Kaposi | 23 April 2022, 12:03:16 UTC | more formalisation | 23 April 2022, 12:03:16 UTC |
bb1d421 | István Donkó | 22 April 2022, 23:06:12 UTC | More implicit arguments and minor progress | 22 April 2022, 23:06:12 UTC |
47e328c | István Donkó | 22 April 2022, 18:27:29 UTC | Typeformers progress | 22 April 2022, 18:27:29 UTC |
178d03b | Ambrus Kaposi | 19 April 2022, 15:49:48 UTC | Palmgren | 19 April 2022, 15:49:48 UTC |
76b702e | Ambrus Kaposi | 19 April 2022, 14:09:19 UTC | address reviews | 19 April 2022, 14:09:19 UTC |
e99f081 | István Donkó | 18 April 2022, 19:09:25 UTC | Various progress during the spring break | 18 April 2022, 19:09:25 UTC |
02890a1 | István Donkó | 11 April 2022, 11:46:09 UTC | Add Σₚ, Σdₚ and context extension progress | 11 April 2022, 11:46:24 UTC |