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
Apache Doris -
DolphinDB -
bhanu prasad -
Pawel Kadluczka -
Top comments (0)