Issues

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

  stedolan/counterexamples#27 · Filter by author winitzki opened on Apr 11, 2025

• Mistake in explanation in "Under false pretenses"

  stedolan/counterexamples#26 · Filter by author mb64 opened on Nov 12, 2024

• Suggestion: overloading is exponential

  stedolan/counterexamples#24 · Filter by author reverofevil opened on Aug 19, 2024

• Suggestion: add definitional floating point equality

  stedolan/counterexamples#22 · Filter by author alercah opened on Jun 7, 2023

• Distinctness II: Recursion is also applicable to Rust

  stedolan/counterexamples#21 · Filter by author lcnr opened on Jun 6, 2023

• Eventually, nothing: factually inaccuracy about the C standard

  stedolan/counterexamples#20 · Filter by author nneonneo opened on Jun 6, 2023
  1

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

  stedolan/counterexamples#18 · Filter by author safinaskar opened on Mar 24, 2023

• Proposed change to "Objects under construction"

  stedolan/counterexamples#14 · Filter by author Quelklef opened on Jul 23, 2022

• Counterexample proposal: cross-stage persistence

  stedolan/counterexamples#13 · Filter by author yallop opened on Dec 27, 2021

• Code samples illegible in dark mode on Firefox/Chrome

  stedolan/counterexamples#7 · Filter by author purcell opened on May 16, 2021
  6

• Generative functors

  stedolan/counterexamples#4 · Filter by author elpinal opened on May 15, 2021
  1

• Fun missing check in SPARK

  stedolan/counterexamples#3 · Filter by author touisteur opened on May 14, 2021
  1