Issues
- 0
- 0
- 0
- 0
message simplification
#144 opened - 0
composable message scheme
#143 opened - 0
- 0
- 1
- 1
remove inferred tag from functions
#134 opened - 0
Subtraction types
#131 opened - 0
- 1
create a type normalization function
#127 opened - 1
- 1
fix: unions with empty string
#124 opened - 1
- 1
- 1
- 0
- 1
- 1
refactor the way to do default types:
#118 opened - 1
- 2
- 1
- 5
correct rules for tuple merging in unions
#106 opened - 1
refactor to use list/1 instead of %Type.List
#105 opened - 1
refactor Tuple doctests to use Type.tuple/1
#103 opened - 1
refactor Map doctests to use Type.map/1
#102 opened - 1
- 1
- 2
- 1
add in tuple with minimum arity type
#96 opened - 2
deprecate logic for non_neg_integer
#95 opened - 1
function to dereference tuple type
#94 opened - 1
tuple with minimum arity
#93 opened - 2
apply for functions
#92 opened - 1
add in more builtins
#91 opened - 5
add spec for functions with arity
#90 opened - 1
add is_singleton guard
#89 opened - 0
- 0
- 0
better documentation of type module
#83 opened - 0
"deviations from elixir" in type module
#82 opened - 0
- 0
- 1
- 1
support for opaque types
#74 opened - 1
- 1
makes sure typep works
#70 opened - 2
- 1
make sure opaque types work.
#68 opened