ityonemo / ityonemo/mavis_inference

create a default "typespeccing chain" which searches for a typespec first, then does inference next.

Open
#30 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
Elixir
Stars
1
Forks
0
PR merge metrics
No merged PRs in 30d

Description

This issue has no description.

Contributor guide

No contributing guide indexed for this repository

Research direction

The issue body names no files, tests, or entry points. First clarify where type-spec lookup and inference currently live, then define the expected search order and tests that demonstrate the default chain is used.

Written by the indexing model from the issue text.

Assessment

Tech stack
elixir
Domain
compilers
Issue type
Feature
Difficulty
5/5
Estimated time
Over a week
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
20/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.