Add manual proofs of VarT applicative laws

schell / varying

Continuously varying values, made easy :)

MIT License

40 stars 5 forks source link

Closed mitchellwrosen closed 8 years ago

mitchellwrosen commented 8 years ago

Just thought I'd throw this together in case you're interested in having it in the repo proper. If so, I can fill out the rest.

schell commented 8 years ago

Yes this looks great, thanks!

mitchellwrosen commented 8 years ago

Cool. Done!