Skip to content

Commit

Permalink
Added sections on identifiers and proofs (#7)
Browse files Browse the repository at this point in the history 
* added sections on identifiers and proofs

* incorporates changes from TallTed; identation

* added more changes from TallTed
  • Loading branch information
@deiu
deiu committed Jul 2, 2019
1 parent 2d3b074 commit ab1f374
Showing 1 changed file with 501 additions and 7 deletions.

0 comments on commit ab1f374

Please sign in to comment.