https://github.com/aripiprazole/bidir

🍴 | Complete and Easy implementation in Rust
https://github.com/aripiprazole/bidir

rust type-theory

Last synced: 1 day ago
JSON representation

🍴 | Complete and Easy implementation in Rust

• Host: GitHub
• URL: https://github.com/aripiprazole/bidir
• Owner: aripiprazole
• Created: 2023-08-13T23:05:12.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2023-08-15T01:14:50.000Z (over 1 year ago)
• Last Synced: 2024-08-05T15:07:38.112Z (3 months ago)
• Topics: rust, type-theory
• Language: Rust
• Homepage:
• Size: 387 KB
• Stars: 9
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:

Awesome Lists containing this project