News for hackers. Stuff that matters.

A comment on Ask HN: Any logic based software dev tool which helps building code gradually?. Parent comment

Re:Ask HN: Any logic based software dev tool which helps bui... by pezo1919 on Monday July 15, 2019 @05:40AM (#20439285)
It feels so weird. Earlier F# seemed to me a really interesting choice, but after knowing about Agda/Idris I don't feel the same anymore.
[ Parent | on HN ]

There are no comments on this comment yet.