issues
search
input-output-hk
/
typed-protocols
Session types framework with support of protocol pipelining.
15
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Use newer version of `io-classes`
#10
coot
closed
1 year ago
0
Use github-actions
#9
coot
closed
2 years ago
0
Experiment with a bearer which allows to avoid extra threads in a Driver
#7
coot
opened
2 years ago
0
Experiment with a custom `Sing` type family and `SingI` instances.
#6
coot
closed
11 months ago
3
Build with ghc-9.2
#5
coot
closed
2 years ago
0
check-stylish script
#4
coot
closed
2 years ago
0
Redesign of typed-protocols
#3
coot
closed
4 weeks ago
6
Use io-sim from github repo
#2
coot
closed
2 years ago
0
Setup nix
#1
coot
closed
2 years ago
0
Previous