fedistats
  • Trends
  • Search
  • Topics
  • Nodes
< back

#functionalprogramming

2 18 Toot LinkedIn
A chart of hourly posts over the last week (for big screens). A chart of hourly posts over the last week (for small screens).
English(2)
sddconf.com (1) stanford.edu (1)

1

From stanford.edu

https://web.stanford.edu/class/cs99

2 2

#itp #leanlang #functionalprogramming #leanprover

5h ago

Showing first 1 out of 2