You are viewing a single comment's thread from:RE: What programming langauge is your favorite and why?View the full contexttzs (41)in #programming • 7 years ago https://en.wikipedia.org/wiki/Idris_(programming_language)