kvakvs/Ironclad.old

A RUSTy fusion of OTP lib/dialyzer and lib/compiler empowering regular Erlang with type inference

Rust

Issues

Reminder to self: Detect and report shadowed variables in nested scopes
#3 opened 3 years ago by kvakvs
0
Think tank: Typed sends and receives
#2 opened 3 years ago by kvakvs
0
Will typed_erlc support subtyping?
#1 opened 3 years ago by mheiber
2