Skip to content

Commit

Permalink
refactor(data/equiv,encodable): refactor/simplify proofs
Browse files Browse the repository at this point in the history
  • Loading branch information
@digama0
digama0 committed Sep 19, 2017
1 parent 1e4c869 commit 6b93e93
Show file tree
Hide file tree
Showing 7 changed files with 239 additions and 462 deletions.

0 comments on commit 6b93e93

Please sign in to comment.