Paolo

[F# supports defining unit of measures](https://docs.microsoft.com/en-us/dotnet/fsharp/language-reference/units-of-measure) through annotations, which allow compiler to enforce type safety of arithmetic operations. This could be a further safety net to make sure we never...

The logic of this program has been written uniquely based on the Account Statement CSV files its author could access. It would be great if users could create an anonymized...

Create a (nuget?) package to be distributed on Windows through [Scoop](https://scoop.sh/) or [Chocolatey](https://chocolatey.org/). Updates: - a package for scoop has been published (thanks Song Li!) - winget is the "official"...

(this has been implemented in the [Scala version of Conver](https://github.com/pviotti/conver-scala))

Processes can't be more than the letter of the alphabet. Find a more scalable way to name processes.

The code that checks monotonicity of read and write of a given session is convoluted and probably buggy.

Implement a graph-based linearizability checker. (this has been implemented in the [Scala version of Conver](https://github.com/pviotti/conver-scala))