Documentation on goals of the coq-community organization, the shared contributin

68other

7 months ago

community-drivencoqmanifesto

Vertx-effect brings functional effects to the Vert.x ecosystem and is inspired b

Java1

4 days ago

erlangfunctional-programmingjava