search

ProjectSeptemberInc / freek

Freek, a freaky simple Free to combine your DSL seamlessly
Other
198 stars 19 forks source link

Some type parameters can be removed in implicit defs #11

Closed etorreborre closed 7 years ago

etorreborre commented 8 years ago

@mandubian I was reading the code and I realized that some type parameters can be removed like C here.

mandubian commented 8 years ago

oh yes thanks! Copypasting implicit proofs :) Don't hesitate to tell if you see improvements, the code is still a bit messy as I keep older cases not to forget them when I do evolutions

etorreborre commented 7 years ago

I suppose this is fixed now so I'm closing this.