News for hackers. Stuff that matters.

A comment on Automated reasoning in F#, Scala, Haskell, C++, and Julia.

Re:Automated reasoning in F#, Scala, Haskell, C++, and Julia by kaychaks on Tuesday August 04, 2015 @06:27AM (#10002523)
My attempt to port it in Erlang https://gist.github.com/kaychaks/61b9b860646a6a47375d
[ Parent | on HN ]

There are no comments on this comment yet.