Fork me on GitHub
#core-async
<
2020-11-06
>
Daniel Craig17:11:01

Are there any tools for using session types with core.async?

noisesmith18:11:55

@danielmartincraig not that I've heard of, are they applicable to CSP?

hiredman18:11:54

I have a thing I was playing with that is not at all session types, but is based on ubf(b) which was this thing joe armstrong made for specifying protocols, it uses spec