elixir
https://github.com/elixir-lang/elixir
Elixir
Elixir is a dynamic, functional language for building scalable and maintainable applications
Triage Issues!
When you volunteer to triage issues, you'll receive an email each day with a link to an open issue that needs help in this project. You'll also receive instructions on how to triage issues.
Triage Docs!
Receive a documented method or class from your favorite GitHub repos in your inbox every day. If you're really pro, receive undocumented methods or classes and supercharge your commit history.
Elixir not yet supported42 Subscribers
Add a CodeTriage badge to elixir
Help out
- Issues
- `map_put` result depends on representation
- Cross check specs against typesystem inferred types
- Infer types across conditional branches for same variables
- map_put/map_update unsound rewrite of negated BDD
- Tentative fix for invalid rewrite of negated BDD in map_update_put_domains
- `list_tl` underapproximates on difference type
- Return type of Map.pop is too narrow
- Perform occurence typing across assignments
- Set-theoretic types: type aliases, recursive and polymorphic types
- Support Erlang/OTP 29 new features
- Docs
- Elixir not yet supported