HasCal
HasCal
copied to clipboard
Published
20 hours ago
•
Gabriella439
→
Metadata
Haskell embedding of PlusCal
Readme
Issues
←
Metadata
59
Stars
6
Forks
Watchers
Owner
Gabriella439
Metadata
Haskell embedding of PlusCal
Back