Skip to content

Actions: martinescardo/TypeTopology

Actions

Update file and line count

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
update-count.yml
524 workflow runs
524 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
An incarnation of the Delay monad Update file and line count #524: Commit 3a414ca pushed by martinescardo
31s master
master
31s
Update Agda companion Update file and line count #523: Commit ab52f7a pushed by martinescardo
31s master
master
31s
Cantor is final 𝔻-coalgebra Update file and line count #522: Commit fdbbbf2 pushed by martinescardo
56s master
master
56s
update Agda companion Update file and line count #521: Commit 9a1f6ac pushed by martinescardo
46s master
master
46s
update agda companion Update file and line count #520: Commit 1641811 pushed by martinescardo
25s master
master
25s
Merge branch 'master' of github.com:martinescardo/TypeTopology Update file and line count #519: Commit 7261e13 pushed by martinescardo
33s master
master
33s
Direct proof of TarskiLFP-small-basis from resizing (Thanks to Carlo)… Update file and line count #518: Commit 785b9bb pushed by martinescardo
47s master
master
47s
update Agda companion to Compact Totally Separated Types Update file and line count #517: Commit c3e7e43 pushed by martinescardo
32s master
master
32s
tweak Agda companion Update file and line count #516: Commit c1e0981 pushed by martinescardo
28s master
master
28s
tweak Agda companion Update file and line count #515: Commit aaf344b pushed by martinescardo
57s master
master
57s
remove spaces Update file and line count #514: Commit d8d80c5 pushed by martinescardo
41s master
master
41s
Update Agda companion of Compact Totally Separated Types preprint Update file and line count #513: Commit 2d21089 pushed by martinescardo
45s master
master
45s
Write in Agda an easy claim that had been left as a comment only Update file and line count #512: Commit e9c178d pushed by martinescardo
33s master
master
33s
Merge branch 'master' of github.com:martinescardo/TypeTopology Update file and line count #511: Commit fa59b17 pushed by martinescardo
1m 14s master
master
1m 14s
update paper link Update file and line count #510: Commit 49f7f32 pushed by martinescardo
33s master
master
33s
remove blank line before end code Update file and line count #509: Commit c9c8b39 pushed by martinescardo
33s master
master
33s
Merge branch 'master' of github.com:martinescardo/TypeTopology Update file and line count #508: Commit 5ac91f2 pushed by martinescardo
33s master
master
33s
companion to the paper 'Compact totally separated types' Update file and line count #507: Commit 0025fb1 pushed by martinescardo
1m 44s master
master
1m 44s
fix typo in comment Update file and line count #506: Commit 39e779b pushed by martinescardo
42s master
master
42s
Answer a question negatively Update file and line count #505: Commit 670dbf6 pushed by martinescardo
44s master
master
44s
Rename Snoc to Cons^{-1} Update file and line count #504: Commit 983d029 pushed by martinescardo
25s master
master
25s
Resolve old TODO in SquashedCantor Update file and line count #503: Commit c66e069 pushed by martinescardo
35s master
master
35s
Two converses of the comparison theorem give constructive taboos Update file and line count #502: Commit dc31b58 pushed by martinescardo
38s master
master
38s
Merge branch 'master' of github.com:martinescardo/TypeTopology Update file and line count #501: Commit cbb0d4d pushed by martinescardo
34s master
master
34s
subfinite Tychonoff Update file and line count #500: Commit 9efc215 pushed by martinescardo
48s master
master
48s