List view

Annotate all the defuns and variables from elisp files loaded on startup

enhancement

help wanted

scope:types

Status: Open.

#23 In emacs-elsa/Elsa;

· Fuco1 opened on Aug 6, 2018

Add some generic mechanism for normalizing composite types

enhancement

scope:types

Status: Open.

#86 In emacs-elsa/Elsa;

· Fuco1 opened on Aug 26, 2018

Add generic type unification mechanism

enhancement

scope:types

Status: Open.

#13 In emacs-elsa/Elsa;

· Fuco1 opened on Jul 31, 2018

Check that during its life a lexical variable always has compatible domains when used as argument.

enhancement

scope:analyser

scope:inference

Status: Open.

#93 In emacs-elsa/Elsa;

· Fuco1 opened on Sep 7, 2018

Add support for multiline function type annotations

enhancement

scope:analyser

scope:reader

Status: Open.

#198 In emacs-elsa/Elsa;

· Fuco1 opened on Feb 15, 2023

Refactor checks and messages to be centered around code

enhancement

good first issue

help wanted

scope:checks

Status: Open.

#211 In emacs-elsa/Elsa;

· Fuco1 opened on Mar 6, 2023

Add rudimentary support for parsing basic defcustom types

enhancement

help wanted

scope:analyser

scope:reader

Status: Open.

#206 In emacs-elsa/Elsa;

· Fuco1 opened on Mar 2, 2023

Add check for unused variables.

enhancement

scope:analyser

scope:checks

Status: Open.

#39 In emacs-elsa/Elsa;

· Fuco1 opened on Aug 10, 2018