Skip to content

Commit

Permalink
Drop all Cryptol Props in translator, and use dictionaries for all ty…
Browse files Browse the repository at this point in the history 
…pes.

The syntactic type representation `KType` and the dependent function
`ty` have been removed; polymorphic Cryptol values now take both a type
argument and a separate dictionary argument.

This fixes most of #178.
  • Loading branch information
Brian Huffman committed Mar 6, 2017
1 parent 95caee4 commit 0e78371
Show file tree
Hide file tree
Showing 2 changed files with 470 additions and 458 deletions.

0 comments on commit 0e78371

Please sign in to comment.