GitHub - toddgaunt-gs/refine: Runtime refinement types for Go

Name		Name	Last commit message	Last commit date
Latest commit History 13 Commits
binaryoperator_string.go		binaryoperator_string.go
eval.go		eval.go
eval_test.go		eval_test.go
go.mod		go.mod
lex.go		lex.go
lex_test.go		lex_test.go
parse.go		parse.go
parse_test.go		parse_test.go
refine.go		refine.go
refine_test.go		refine_test.go
unaryoperator_string.go		unaryoperator_string.go