Starred repositories
2
stars
written in Haskell
Clear filter
A feature-rich Unix terminal client for the Mattermost chat system
A statically-typed linear functional language with graded modal types for fine-grained program reasoning