|
|
|
|
|
|
by ryanjshaw
807 days ago
|
|
|
Not OP, but that's exactly what I do - type my public functions fully. I built a basic static program analyzer for Solidity smart contracts over the past 7 months. I'm re-writing it to work off CozoDB now, as I want to be able to express more complex mutually-recursive concepts and I believe Datalog is much better suited for that. |
|
|