Don't you love when this happens? [Fixed] (imgur.com)
submitted ago by lrich to fffffffuuuuuuuuuuuu
extension to Coq Extraction, will be able to generate Scala code from Coq definitions by gtaniin scala
Some users come up with interesting approaches (imgur.com)
submitted ago by lrich to iiiiiiitttttttttttt
This man punched a guy into a coma for complimenting his car, link to story in comments by gameshark56in pics
[–]lrich 5 points6 points7 points ago*