An org-babel extension for Solidity
Why do you think that https://github.com/alhassy/org-agda-mode is a good alternative to ob-solidity
An org-babel extension for Solidity
Why do you think that https://github.com/alhassy/org-agda-mode is a good alternative to ob-solidity