search

frenetic-lang / frenetic

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

better naming #587

Closed smolkaj closed 6 years ago

smolkaj commented 6 years ago

use more canonical name for frenetic kernel