Skip to content

add SAWCoreCryptol module for converting SAWCore terms back into Cryptol - #3230

Draft
danmatichuk wants to merge 12 commits into
masterfrom
saw-to-cryptol
Draft

add SAWCoreCryptol module for converting SAWCore terms back into Cryptol#3230
danmatichuk wants to merge 12 commits into
masterfrom
saw-to-cryptol

SAWCoreCryptol: drop redundant type annotations, support prefix ops

69c3ff4
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar