Haskell Community
Botan bindings devlog
jackdk
September 20, 2023, 2:58am
82
Is the algebraic class you’re looking for a
Heyting Algebra
, as seen in
PureScript
?
2 Likes
Polymorphic `if` statement
show post in topic