define S a as JV (Id a)

ghorn / dynobud

your dynamic optimization buddy

GNU Lesser General Public License v3.0

27 stars 5 forks source link

Closed ghorn closed 9 years ago

ghorn commented 9 years ago

then hide some unsafe operations and expose splitJV and stuff like that

ghorn commented 9 years ago

done in 17dc321, no type synonym provided for now