Skip to main content
Link
Menu
Expand
(external link)
Document
Search
Copy
Copied
FreeST
Home
Downloads
Getting started
Setup and install
Functional FreeST
Handling linearity
Linear channels and session types
Concurrent programming
Sharing is caring
Modules
Kinds
Libraries
Prelude
List
File
Publications, talks, posters
Team
Try it online!
FreeST Online
Run
$
FreeST