corpus.blog
41,554 blogs · 5,063,431 posts Claim your blog
Record · corpus.blog/posts/01a0878d-5f23-7159-b769-f4f92a67a7e3

Introduction to Coinduction in Agda Part 1: Coinductive Programming

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
41
Words captured
12,661

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://cyclic-structures.gitlab.io/school2026/
cyclic-structures.gitlab.io
https://github.com/jespercockx/agda-lecture-notes/blob/master/agda.pdf
github.com
https://agda.zulipchat.com/
agda.zulipchat.com
https://agda.club/@jesper
agda.club
https://agda.readthedocs.io/en/v2.8.0/language/record-types.html
agda.readthedocs.io
https://agda.readthedocs.io/en/v2.8.0/language/copatterns.html
agda.readthedocs.io
https://agda.readthedocs.io/en/v2.8.0/language/lambda-abstraction.html
agda.readthedocs.io
https://agda.readthedocs.io/en/v2.8.0/language/coinduction.html
agda.readthedocs.io
https://agda.github.io/agda-stdlib/v2.3/Relation.Binary.PropositionalEquality.Properties.html
agda.github.io
https://github.com/agda/agda-stdlib/
github.com
https://agda.readthedocs.io/en/v2.8.0/language/sized-types.html
agda.readthedocs.io
https://github.com/agda/agda/issues/1209
github.com
https://github.com/agda/agda/issues/992
github.com
https://github.com/agda/agda/issues/2439
github.com
https://github.com/agda/agda/issues/2551
github.com
https://github.com/agda/agda/issues/2930
github.com
https://github.com/agda/agda/issues/1579
github.com
https://github.com/agda/agda/issues/2409
github.com
https://github.com/agda/agda/issues/2440
github.com
https://github.com/agda/agda/issues/3039
github.com
https://github.com/agda/agda/issues/300
github.com
https://github.com/agda/agda/issues/1417
github.com
https://github.com/agda/agda/issues/1869
github.com
https://github.com/agda/agda/issues/1894
github.com
https://github.com/agda/agda/issues/2041
github.com
https://github.com/agda/agda/issues/2098
github.com
https://github.com/agda/agda/issues/2331
github.com
https://github.com/agda/agda/issues/2651
github.com
https://github.com/agda/agda/issues/2903
github.com
https://github.com/agda/agda/issues/1428
github.com
https://github.com/agda/agda/issues/1523
github.com
https://github.com/agda/agda/issues/3144
github.com
https://github.com/agda/agda/issues/4376
github.com
https://github.com/agda/agda/issues/1201
github.com
https://github.com/agda/agda/issues/1946
github.com
https://github.com/agda/agda/issues/2820
github.com
https://github.com/agda/agda/issues/3026
github.com
https://github.com/agda/agda/issues/6002
github.com
https://github.com/agda/agda/issues/7178
github.com
https://github.com/agda/agda/pull/7152
github.com
Sized types and coinduction in Safe Agda Read at the source ↗
blog.ielliott.io