TechQA.

Question

Is equality decidable on any coinductive type?

score 278 · Answer 1 · 2015-06-18 08:10:55

1

Answer

278

Views

Is equality decidable on any coinductive type?

278 views Asked by Mitchell Buckley At 18 June 2015 at 08:10

score 1119 · Answer 2 · 2014-11-17 00:14:36

Is an infinite list of ones sane?

1.1k views Asked by Kijewski At 17 November 2014 at 00:14

score 136 · Answer 3 · 2020-12-01 19:45:37

corecursive Agda functions without sized types

136 views Asked by Luca At 01 December 2020 at 19:45

score 94 · Answer 4 · 2020-12-11 10:51:01

Is the only difference between Inductive and CoInductive the well-formedness checks on their uses (in Coq)?

94 views Asked by Max Heiber At 11 December 2020 at 10:51

score 156 · Answer 5 · 2020-07-28 10:12:24

Eliminating erased argument with only one valid case

156 views Asked by Eayus At 28 July 2020 at 10:12

score 51 · Answer 6 · 2016-02-01 15:37:42

Unexpected corecursive call

51 views Asked by Joachim Breitner At 01 February 2016 at 15:37

score 604 · Answer 7 · 2015-05-26 02:49:31

Proof of stream's functor laws

604 views Asked by Brian McKenna At 26 May 2015 at 02:49

score 506 · Answer 8 · 2015-06-06 23:25:07

Termination check of a recursive function call in agda

506 views Asked by Vlad Semenov At 06 June 2015 at 23:25

score 702 · Answer 9 · 2013-07-15 15:23:42

Coinduction and dependent types

702 views Asked by AudioBubble At 15 July 2013 at 15:23

score 109 · Answer 10 · 2019-12-25 00:14:29

Coinduction not of form A -> A?

109 views Asked by scubed At 25 December 2019 at 00:14

TechQA.

List Question

Is equality decidable on any coinductive type?

Is an infinite list of ones sane?

corecursive Agda functions without sized types

Is the only difference between Inductive and CoInductive the well-formedness checks on their uses (in Coq)?

Eliminating erased argument with only one valid case

Unexpected corecursive call

Proof of stream's functor laws

Termination check of a recursive function call in agda

Coinduction and dependent types

Coinduction not of form A -> A?

Popular Questions

Popular Tags

Trending Questions