文件名称：reflective-oracles
文件大小：7KB
文件格式：ZIP
更新时间：2024-07-08 00:40:35
Haskell
使用概率预言机的所罗门诺夫归纳的 Haskell 实现。 这主要是为了验证实现类型检查。 除非您实现反射式预言机（这仅比实现停机预言机稍微困难一些），否则它不会正常工作，但您可以实现各种“哑”预言机并验证代码的各个部分是否工作。
【文件预览】：
reflective-oracles-master
----OracleMachines.hs(17KB)
----README.md(388B)