# Index

[![badge](https://img.shields.io/endpoint.svg?url=https%3A%2F%2Fgezf7g7pd5.execute-api.ap-northeast-1.amazonaws.com%2Fdefault%2Fsource_up_to_date%3Fowner%3Derg-lang%26repos%3Derg%26ref%3Dmain%26path%3Ddoc/EN/compiler/index.md%26commit_hash%3D64fec7d91494cbb22f89147863db2a8ee81954db)](https://gezf7g7pd5.execute-api.ap-northeast-1.amazonaws.com/default/source_up_to_date?owner=erg-lang&repos=erg&ref=main&path=doc/EN/compiler/index.md&commit_hash=64fec7d91494cbb22f89147863db2a8ee81954db)

## [被放棄的特性](./abandoned.md)

## [架構](./architecture.md)

## [錯誤](./errors.md)

## [HIR](./hir.md)

## [inference](./inference.md)

## [總覽](./overview.md)

## [Parsing](./parsing.md)

## [refinement_subtyping](./refinement_subtyping.md)

## [TODO_hint](./TODO_hint.md)

## [TODO_recov_suggest](./TODO_recov_suggest.md)

## [TODO_warn](./TODO_warn.md)

## [trait_method_resolving](./trait_method_resolving.md)

## [transpile](./transpile.md)

## [type_var_normalization.](type_var_normalization.md)
