https://github.com/voidc/mir-formality-gen

Converts Rust code into a-mir-formality syntax
https://github.com/voidc/mir-formality-gen

Last synced: over 1 year ago
JSON representation

Converts Rust code into a-mir-formality syntax

• Host: GitHub
• URL: https://github.com/voidc/mir-formality-gen
• Owner: voidc
• License: apache-2.0
• Created: 2022-06-21T13:21:53.000Z (about 4 years ago)
• Default Branch: master
• Last Pushed: 2022-08-17T12:23:18.000Z (almost 4 years ago)
• Last Synced: 2025-02-05T03:16:47.340Z (over 1 year ago)
• Language: Rust
• Size: 46.9 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE-APACHE

Awesome Lists containing this project

README

          
# mir-formality-gen

This tool translates Rust programs to the syntax used by [a-mir-formality](https://github.com/nikomatsakis/a-mir-formality).