Higher Order Logic
About

Posts

  • 06 Jan 2023

    A response to James Shore's Nullable pattern

  • 04 Jan 2023

    An unreasonable dislike of mutable variables

subscribe via RSS

Higher Order Logic

  • Higher Order Logic
  • sf105

Concerning software development and other topics.