Computer Science

Enlightened

 Enlightened
First to answer and accepted with score of 10 or more. This badge can be awarded multiple times.

earned this badge 2 times.
What does canonicity property mean in Type Theory?
Awarded Jan 7, 2022 at 2:10
Monad in Haskell programming vs. Monad in category theory
Awarded Nov 2, 2020 at 22:04

Others with this badge

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.