Comment se termine cette histoire ?! Le mot de passe est-il toujours là ?
Sure, but it may still seem a stretch that both optimize as far as that!
Making #Haskell run fast: the many faces of reverse
This manga makes fashion so exciting: Runway de Waratte (Smile at the Runway)
Finally the official Coq refman is at 8.9.1, lots of improvements over 8.9.0, and more to come!
#Toulouse : le mystère du nom des herbes folles sur les trottoirs est enfin résolu. (18 photos)
Derrière cette démarche utile, originale et pédagogique, deux botanistes facétieux qui ont su susciter la curiosité des passants. Une idée de génie.
@raichoo Wait, you're not the same person
@raichoo You added doctests to generic-data and I had forgotten about it until today :)
I'm usually surprised when I find anything in Coq :)
Have you heard of any #Coq library for alternating automata? I found it surprisingly difficult to find.
The Last Word On Nothing | Chris Arnade’s Book: Dignity
"Yet after 10 years on Wall Street I had this nagging sense that maybe the undergraduate degree in math, the PhD in physics, the days spent building math models to think about global economics – was limited, and perhaps also wrong. "
Stand out as a speaker
crev is such an exciting project https://wiki.alopex.li/_diff/ActuallyUsingCrev?to=1c98ead369764678980e1cdd3ea1a3e8e6985460
This is talking about the theory of subtyping though, not Coq coercions.