• F* reworked and released as v0.9.0 http://lambda-the-ultimate.org/node/5241 7 comments 14/9/2015

Related searches:

Search whole site: site:lambda-the-ultimate.org

Search title: F* (FStar) reworked and released as v0.9.0 | Lambda the Ultimate

See how to search.