[Main website]

dokmelody/paradigm/multiparadigm

For each section of code specify the paradigm used (e.g. logic, Doknil, …) and the user can see a description of the paradigm.

The IDE should help the user in choosing the correct algorithm.