My solutions for the F* turorial - View it on GitHub