@shimmer
I see you are transcribing logical relations into C#. If you're not already familiar, you might be interested in playing around with languages that embrace a logical and/or relational programming paradigm! ๐ checkout miniKanren or Prolog
I think the point of this is more towards proving what C# can do from a functional and logical perspective rather than establishing it as the best language for doing these things.
@shimmer I see you are transcribing logical relations into C#. If you're not already familiar, you might be interested in playing around with languages that embrace a logical and/or relational programming paradigm! ๐ checkout miniKanren or Prolog
I also highly recommend Daniel P. Friedman's book The Little Prover ๐
I think the point of this is more towards proving what C# can do from a functional and logical perspective rather than establishing it as the best language for doing these things.
Oh yes, that was my take-away as well๐ It just made me think of some things I thought OP (and their readers) might be interested in ๐