wenkokke / priority-seshLinks
Session Types with Priority in Linear Haskell
☆27Updated last year
Alternatives and similar repositories for priority-sesh
Users that are interested in priority-sesh are comparing it to the libraries listed below
Sorting:
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆29Updated 4 years ago
- Generic functions for single-sorted first-order structural unification☆46Updated 5 months ago
- A library for doing generic programming in Agda