Join Slack
Powered by
Unfortunately they are both heavy on type theory a...
# arrow
b
Bob Glamm
05/04/2019, 7:09 PM
Unfortunately they are both heavy on type theory and the examples are in StandardML so I don't fully understand either
Open in Slack
Previous
Next
