Hacker News on #Idris: inductive definition of natural numbers is not approachable (as in maths) and the syntax should be like C.
-
-
@edwinbrady@puffnfresh I think you'll find all successful work is done in Node.js on Rails, actually -
@acid2@edwinbrady@puffnfresh lets skip the negativity guys, dwelling on it just drags all of us down. - 1 more reply
New conversation -
-
-
@edwinbrady yes. It's the law. /cc@puffnfresh -
@milessabin@edwinbrady@puffnfresh Thank you all, this little Twitter thread has made my afternoon.
End of conversation
New conversation -
-
-
@edwinbrady@puffnfresh It's funny that people who say they are interested in funlangs have never seen a "data <name> = <impl>" definition.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.