Law, Philosophy, Data Science, Functional Programming, Linked Data.
programming style inspired by mathematics, that brings the benefits of provability to programming, thereby removing a whole class of bugs. In FP, a given input to a function always determines a given output. Indeed, one of the significant problems in the early days on FP was how to interact with