search

frenetic-lang / frenetic

The Frenetic Programming Language and Runtime System
http://www.frenetic-lang.org/
Other
223 stars 51 forks source link

Fixes Issue #425 #426

Closed craig-riecke closed 9 years ago

craig-riecke commented 9 years ago

Pins Core to 112.24.00. Can be reversed once https://github.com/janestreet/core_kernel/issues/46 is fixed.