CLR: Checker of Lifetimes and other Refinement types for Zig | Hacker News - But Better

CLR: Checker of Lifetimes and other Refinement types for Zig github.com

Checker for Lifetimes and other Refinement types. Contribute to ityonemo/clr development by creating an account on GitHub.

1 points•ksec•about 4 hours ago•0 comments•

#lifetimes #types #clr #checker #refinement #refinement types #zig #contribute

0 comments

No comments yet.

Related stories

Writing JSON to a custom output in Zigopenmymind.net
Lobsters · 10 points · over 3 years ago
Learning sum types, value constructors, and type constructors by proxying values with typesbitemyapp.com
Lobsters · 2 points · over 12 years ago
A minimal RocksDB example with Zignotes.eatonphil.com
Lobsters · 19 points · almost 4 years ago
The Zig Journeykristoff.it
Lobsters · 49 points · 10 days ago
Custom JSON serialization in Zigaolium.com
Lobsters · 6 points · about 3 years ago
Don't Trip[wire] Yourself: Testing Error Recovery in Zigmitchellh.com
Lobsters · 53 points · 8 months ago