search

ghorn / dynobud

your dynamic optimization buddy
GNU Lesser General Public License v3.0
27 stars 5 forks source link

type J f a = M f S a #50

Closed ghorn closed 9 years ago

ghorn commented 9 years ago

after the S -> JV Id, and hiding mkJ/unJ/etc in 5bfb62d6d5b60225099e8942786a94c7170818b2, the way is paved for this

ghorn commented 9 years ago

this is bending my brain

ghorn commented 9 years ago

done in d4e88d4a71792bf8e895fdf620a13b5fd132bf31