|
# Agenda
|
|
# Agenda
|
|
|
|
|
|
- #18202, #18231: eta expansion
|
|
- #18202, #18231: eta expansion
|
|
|
|
- #18086: precise exceptions
|
|
- #18238: state hack
|
|
- #18238: state hack
|
|
- #18154: CPR for data con apps
|
|
- #18154: CPR for data con apps
|
|
- !2938: Detecting redundant bangs: A new extension for LYGs! Inspires need for unlifted types.
|
|
- !2938: Detecting redundant bangs: A new extension for LYGs! Inspires need for unlifted types.
|
... | | ... | |