Adds missing arguments to Playground2.mult - Githubissues

idris-hackers / software-foundations

Software Foundations in Idris

https://idris-hackers.github.io/software-foundations

MIT License

452 stars 34 forks source link

Adds missing arguments to Playground2.mult #57

Closed acarrico closed 5 years ago

yurrriq commented 5 years ago

Thanks!