wenkokke / idris-seshLinks

Session types in Idris2!
27Updated 4 years ago

Alternatives and similar repositories for idris-sesh

Users that are interested in idris-sesh are comparing it to the libraries listed below

Sorting: