“Haskell.” “Idris.” “Coq.” “Checkmate.”
-
-
@avibryant@peterseibel apparently this is the J version ¯\_(ツ)_/¯ life=: (_3 _3 (+/ e. 3+0,4&{)@,;._3 ])@(0,0,~0,.0,.~]) -
@matasar@peterseibel well, yeah. Though that's kinda verbose, I would have just called it L. - 1 more reply
New conversation -
-
-
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.