Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
Wolfram`Lambda`
LambdaToHaskell  |
|
| | ||||
Examples
(1)
Basic Examples
(1)
In[1]:=
LambdaTerminatesQ[lambda_]:=Withrun=RunProcess"/usr/local/bin/docker","run","--rm","-v",ExportCreateFile[],
[lambda],"String"<>":/work/lambda.hs","aprove-env","-m","wst","lambda.hs",Replace[Lookup[run,"StandardOutput"],{"YES\n"True,"NO\n"False,maybe_Failure[maybe,"MessageTemplate"Lookup[run,"StandardError"]]}]
 | LambdaToHaskell |
In[2]:=
LambdaAProVEGraph[lambda_,opts___]:=Withfile=ExportCreateFile[]<>".hs",
[lambda],"String",FirstCase[StringCases[RunProcess[{"/usr/local/bin/docker","run","--rm","-v",DirectoryName[file]<>":/work","--entrypoint","java","aprove-env","-ea","-cp","/opt/aprove/aprove.jar","aprove.CommandLineInterface.HaskellFrontendMain","-g","yes",FileNameTake[file]}]["StandardOutput"],WhitespaceCharacter~~file:(Except[WhitespaceCharacter]..~~".dot")file],dotFile_StringGraph[Import[FileNameJoin[DirectoryName[file],dotFile]],opts,GraphLayout"LayeredDigraphEmbedding"]]
| LambdaToHaskell |
In[3]:=
LambdaTerminatesQ/@$LambdaBusyBeavers
Out[3]=
{True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True}
In[4]:=
LambdaAProVEGraph[#,VertexLabels_None]&/@$LambdaBusyBeavers
Out[4]=
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
 |
|
""