Imaginary equivalence needs blockchain

1 · Shane Mulligan · Oct. 14, 2021, 8:29 a.m.
Summary I create an imaginary function for testing equivalence. This may be used for such things as testing semantic equivalence, ontological equivalence, ideological equivalence, mathematical equivalence, you name it. I just want to run predicates for prompt functions to determine if they should be made available as functions. For example, I want to know if the pf-explain-solidity-code/1 prompt function should be made available in the current context. The current emacs mode may be, for example,...