We’ve seen the basics of decidable in Decidable propositions I and if-then-else constructions in Decidable propostions II. Now, we’ll see how to prove results through type class inference. If you’ve been following along and recreating decidable in your own hidden namespace, it’s now time to declare an important, albeit trivial, instance. That is, it is […]

## Decidable propositions III

- Post author By Gihan Marasingha
- Post date
- Categories In Fundamental concepts
- 2 Comments on Decidable propositions III