@courieti @skaalf @mandubian @ValentinKasas @naikyworld First step done: I finaly created the Paris #Idris Group https://www.meetup.com/fr-FR/Paris-Idris-Group/ … .
-
-
! Awesome !
1 reply 0 retweets 0 likes -
Je compte sur toi pour un talk sur les type class en Idris ;)
1 reply 0 retweets 0 likes -
Le syndrome de l'imposteur ne serais pas volé ! ;)
1 reply 0 retweets 0 likes -
Tu dis ça au gars qui vient de lancer un meetup sur le sujet :D
1 reply 0 retweets 0 likes -
J'espère que tu compte pas que sur moi pour faire des talks ;)
1 reply 0 retweets 0 likes -
Sincèrement, un jour, je serais ravi de voir ton avis sur Shapeless vs Idris.
2 replies 0 retweets 0 likes -
C’est vraiment comparable ?
4 replies 0 retweets 0 likes -
@edwinbrady and@milessabin keep teasing each other about it2 replies 0 retweets 0 likes
I used the phrase “Indexed Monad Transformer” in a talk the other day and Miles looked horrified. I wonder if I’ve found his breaking point…
-
-
Replying to @edwinbrady @ValentinKasas and
I would love to see the categorical interpretation of this.
1 reply 0 retweets 0 likes -
Replying to @chrilves @edwinbrady and
A categorical interpretation of my breaking point?
1 reply 0 retweets 1 like - 2 more replies
New conversation -
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.