Follow

RT @xuanruirqi@twitter.com

Everyone: Jacques' certified (subset of) OCaml interpreter, now pulled out of the drawer and building under Coq 8.10! github.com/garrigue/certint

πŸ¦πŸ”—: twitter.com/xuanruirqi/status/

Sign in to participate in the conversation
Lesbiab Space

A Mastodon instance by and for lesbians πŸ’œ
See rules and guidelines for more informations.