1. 3
    Automated reasoning in F#, Scala, Haskell, C++, and Julia c dotnet haskell programming scala phdp.github.io
    pushcx avatar via pushcx 3 years ago | cached | no comments

  1.