Linking pages
- The refreshing simplicity of compiling Formality to… anything | by Victor Maia | Medium https://medium.com/@maiavictor/the-refreshing-simplicity-of-compiling-formality-to-anything-388a1616f36a 43 comments
- Compiling Formality to the EVM. Cost of a beta-reduction: ~200 gas | by Victor Maia | Medium https://medium.com/@maiavictor/compiling-formality-to-the-evm-99aec75677dd 8 comments