A simple toy project for playing around with some implicit resolution tricks
Repository from Github https://github.comJasper-M/implicitlogicRepository from Github https://github.comJasper-M/implicitlogic
