News for hackers. Stuff that matters.

A comment on Kind: A Modern Proof Language. Parent comment

Re:Kind: A Modern Proof Language by overhero on Wednesday August 11, 2021 @04:00PM (#28146986)
an even more succinct way might be:

   blocks _              _      True = True
   blocks Tile{isWater}  floats _    = not isWater || floats
   blocks Creature{}     _      _    = True
   blocks Fire{}         _      _    = False
   blocks Wall{}         _      _    = True
it does not get much closer to truth-tables, if you ask me
[ Parent | on HN ]

There are no comments on this comment yet.