https://github.com/mgree/st

Implementing Lindahl and Sagonas's "Practical Type Inference Based on Success Typings"
https://github.com/mgree/st

Last synced: 14 days ago
JSON representation

Implementing Lindahl and Sagonas's "Practical Type Inference Based on Success Typings"

• Host: GitHub
• URL: https://github.com/mgree/st
• Owner: mgree
• License: gpl-3.0
• Created: 2021-07-11T00:31:44.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2021-07-22T14:00:06.000Z (over 3 years ago)
• Last Synced: 2024-04-09T21:22:35.412Z (7 months ago)
• Language: Rust
• Size: 35.2 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project