Checked floats
Link to repo in intro
All haskell code in their own files