IRC Browse: edrx
“hi! a stylistical question... what would be a good way to translate the definition of "atimes" in the natural-deduction-ish tree in this image, and in the dictionary at the lower right that defines each term, to Haskell? link to the image: https://i.ibb.co/CVHK0qp/sshot.png” — edrx
edrx has written 6,873 words, 500 lines (averaging 14 words per line), in 3 year(s), most active at around 2:00 (UTC).
edrx has a karma of 0
Search logs for this nick: freenode#haskell, freenode#xmonad, liberachat#haskell, liberachat#xmonad, liberachat#kmonad