SpiceQA
Questions
Tags
Users
Badges
coinduction
5 Questions
Newest
Active
Unanswered
Frequent
More
Score
View
Card
Compact
Are codatatypes really terminal algebras?
user_13950559
0
•
asked Nov 26, 2021
13
3
673
coinduction
category-theory
type-systems
haskell
How to define constant heterogeneous streams in Haskell?
user_2552681
0
•
asked Nov 23, 2021
8
1
155
coinduction
type-families
haskell
Coinductive principle for streams
user_7508402
0
•
asked Nov 2, 2021
2
0
87
coinduction
coq
proof
corecursive Agda functions without sized types
user_14744269
0
•
asked Dec 1, 2020
3
0
98
coinduction
agda
termination
Defining equality relation for infinite trees
user_7264503
0
•
asked Oct 26, 2018
3
3
138
coinduction
coq
1
(current)
Hot Questions