Some of our ideas for interactive computing based on functional programming and applied category theory by exploiting the Curry Howard computational "trinity"

For further actions, you may consider blocking this person and/or reporting abuse
Some of our ideas for interactive computing based on functional programming and applied category theory by exploiting the Curry Howard computational "trinity"
For further actions, you may consider blocking this person and/or reporting abuse
Coherence is the first Platform-as-a-Service you can control. Unlike "black-box" platforms that are opinionated about the infra you can deploy, Coherence is powered by CNC, the open-source IaC framework, which offers limitless customization.
Mike Young -
logarithmicspirals -
Mike Young -
Mike Young -
Top comments (0)