-
Notifications
You must be signed in to change notification settings - Fork 0
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
Package ecosystem: manager, lockfile, registry, semver, resolution
enhancementNew feature or requestNew feature or requestStatus: Open.#37 In jaggederest/locque;QA: fuzzers, benchmarks, coverage, property-based tests
enhancementNew feature or requestNew feature or requestStatus: Open.#36 In jaggederest/locque;Self-hosting: smyth CLI in Locque (long term)
enhancementNew feature or requestNew feature or requestStatus: Open.#35 In jaggederest/locque;Self-hosting: parser/type checker/validator in Locque
enhancementNew feature or requestNew feature or requestStatus: Open.#34 In jaggederest/locque;Self-hosting: M-expr ↔ S-expr converter in Locque
enhancementNew feature or requestNew feature or requestStatus: Open.#33 In jaggederest/locque;Language features: definitional equality (eta), type holes, better inference, rows/records
enhancementNew feature or requestNew feature or requestStatus: Open.#32 In jaggederest/locque;Theorem proving: expand predicate library + decidable predicate helpers
enhancementNew feature or requestNew feature or requestStatus: Open.#31 In jaggederest/locque;Webapp: refined database IDs (e.g., DatabaseIdentifier Serial Natural)
enhancementNew feature or requestNew feature or requestStatus: Open.#30 In jaggederest/locque;HTTP request/response: refinement hooks for valid requests and response status
enhancementNew feature or requestNew feature or requestStatus: Open.#29 In jaggederest/locque;Net/TCP: ValidPort refinement for safe APIs
enhancementNew feature or requestNew feature or requestStatus: Open.#28 In jaggederest/locque;Natural: digit list conversions for proof-friendly properties
enhancementNew feature or requestNew feature or requestStatus: Open.#27 In jaggederest/locque;List: Sorted refinement for sort-by
enhancementNew feature or requestNew feature or requestStatus: Open.#26 In jaggederest/locque;