← Back to context Comment by khafra 12 years ago Write everything in Coq. 1 comment khafra Reply tel 12 years ago Perhaps more reasonably: write the core of your application in Coq and have it expose a DSL for writing business logic atop this infallible core.
tel 12 years ago Perhaps more reasonably: write the core of your application in Coq and have it expose a DSL for writing business logic atop this infallible core.
Perhaps more reasonably: write the core of your application in Coq and have it expose a DSL for writing business logic atop this infallible core.