recursive-implicit-proofs-talk. Code examples for my talk on implicit proofs with shapeless HLists

github.com/vpavkin/recursive-implicit-proofs-talk

Problem

Audience

Updates

No founder updates yet. Check back soon.