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
Top comments (0)