Obviously Gregory is not familiar with Homotopy. In fact, its
isomorphism predicts that if someone named Greg is involved in a
discussion, someone named Gregory will also become involved.
Or that is what I get for responding to an e-mail without reading it
on April 1st :)
On Sun, Apr 1, 2012 at 7
I actually read the first couple paragraphs and thought “sounds
interesting I'll read it later”. After reading it properly, I lol'd.
> After some initial feedback, I'm going to create a page for the
> Homotopy Extensional Records Proposal (HERP) on trac. There are really
> only a few remaining que
Lesson learned: for next year, write a Haskell program that tells if a
given -cafe thread or reddit discussion is a April Fool's joke or not.
On Sun, Apr 1, 2012 at 7:10 PM, Christopher Done
wrote:
> I actually read the first couple paragraphs and thought “sounds
> interesting I'll read it later”
On Mon, Apr 2, 2012 at 3:38 PM, Alp Mestanogullari wrote:
> Lesson learned: for next year, write a Haskell program that tells if a given
> -cafe thread or reddit discussion is a April Fool's joke or not.
import Data.Time
main = do
now <- getCurrentTime
let (_, month, day) = toGregorian $
On 2 April 2012 14:41, Michael Snoyman wrote:
> import Data.Time
>
> main = do
> now <- getCurrentTime
> let (_, month, day) = toGregorian $ utctDay now
> putStrLn $
> if month == 4 && day == 1
> then "It's a joke"
> else "It's real"
import Data.Time
main = d
On Mon, Apr 2, 2012 at 5:41 AM, Michael Snoyman wrote:
> On Mon, Apr 2, 2012 at 3:38 PM, Alp Mestanogullari
> wrote:
>> Lesson learned: for next year, write a Haskell program that tells if a given
>> -cafe thread or reddit discussion is a April Fool's joke or not.
>
> import Data.Time
>
> main =
