blob: 18d1b9074540a23d0792f158dbf1aa4bb2c34b5a (
plain)
1
2
3
4
|
Require Import Crypto.StandaloneHaskellMain.
(*Redirect "/tmp/saturated_solinas.hs"*) Recursive Extraction SaturatedSolinas.main.
(* cat /tmp/solinas.hs.out | sed -f haskell.sed > ../../solinas.hs *)
|