Search results

Does Church encoding allow us to define recursive types with non-strictly positive pattern functor?

Status: Open.

#27 In stedolan/counterexamples;

· winitzki opened on Apr 11, 2025

Mistake in explanation in "Under false pretenses"

Status: Open.

#26 In stedolan/counterexamples;

· mb64 opened on Nov 12, 2024

Suggestion: overloading is exponential

Status: Open.

#24 In stedolan/counterexamples;

· reverofevil opened on Aug 19, 2024

Suggestion: add definitional floating point equality

Status: Open.

#22 In stedolan/counterexamples;

· alercah opened on Jun 7, 2023

Distinctness II: Recursion is also applicable to Rust

Status: Open.

#21 In stedolan/counterexamples;

· lcnr opened on Jun 6, 2023

Eventually, nothing: factually inaccuracy about the C standard

Status: Open.

#20 In stedolan/counterexamples;

· nneonneo opened on Jun 6, 2023

Please add Rust's bug, which is reverse of "Runtime type misinformation"

Status: Open.

#18 In stedolan/counterexamples;

· safinaskar opened on Mar 24, 2023

Proposed change to "Objects under construction"

Status: Open.

#14 In stedolan/counterexamples;

· Quelklef opened on Jul 23, 2022

Counterexample proposal: cross-stage persistence

Status: Open.

#13 In stedolan/counterexamples;

· yallop opened on Dec 27, 2021

Code samples illegible in dark mode on Firefox/Chrome

Status: Open.

#7 In stedolan/counterexamples;

· purcell opened on May 16, 2021

Generative functors

Status: Open.

#4 In stedolan/counterexamples;

· elpinal opened on May 15, 2021

Fun missing check in SPARK

Status: Open.

#3 In stedolan/counterexamples;

· touisteur opened on May 14, 2021