Introduction

et is an external typesystem and type-checker for elisp code, similar to Typescript (for Javascript) or mypy/Pyright (for Python).

et defines:

1. A type-language for annotating elisp code
2. A type-checker for statically analyzing the annotated code

Click here for the Github repo.