corpus.blog
41,948 blogs · 5,214,511 posts Claim your blog
Record · corpus.blog/posts/01a0878d-5f23-7159-b769-f4f9342bb9b9

Rewriting type theory

jesper.sikanda.be · published undated

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at jesper.sikanda.be Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
21
Words captured
4,852

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://github.com/agda/agda/issues/1563
github.com
https://github.com/agda/agda/issues/2979
github.com
https://github.com/agda/agda/issues/3335
github.com
https://agda.readthedocs.io/en/v2.6.0.1/language/built-ins.html
agda.readthedocs.io
https://github.com/agda/agda/issues/3525
github.com
https://github.com/agda/agda/pull/3589
github.com
https://github.com/agda/agda/issues/3846
github.com
https://github.com/agda/agda/issues/3211
github.com
https://github.com/agda/agda/issues/3538
github.com
https://agda.readthedocs.io/en/v2.6.0.1/language/irrelevance.html
agda.readthedocs.io
https://agda.readthedocs.io/en/v2.6.0.1/language/prop.html
agda.readthedocs.io
https://github.com/agda/agda/issues/2300
github.com
https://github.com/agda/agda/blob/master/src/full/Agda/TypeChecking/Substitute.hs
github.com
https://github.com/agda/agda/issues/2090
github.com
https://github.com/agda/agda/issues/2299
github.com
https://github.com/agda/agda/issues/3971
github.com
https://github.com/agda/agda/issues/1663
github.com
https://github.com/agda/agda/issues/1987
github.com
https://github.com/agda/agda/issues/2302
github.com
https://agda.readthedocs.io/en/v2.6.0.1/language/let-and-where.html
agda.readthedocs.io
https://github.com/agda/agda/issues/1652
github.com
Elsewhere on jesper.sikanda.be (1)