c-cube

Status: Active user
Joined: 7 years ago by invitation from apy
Karma: 2721
Stories Submitted: 43, most commonly tagged programming
Comments Posted: 383
GitHub: https://github.com/c-cube
About:

OCaml hacker, logician, computer scientist. https://simon.cedeela.fr