لغتنامه دهخدا
باباافضل . [ اَ ض َ ] (اِخ ) مرحوم ملک الشعراء بهار آرد: افضل الدین محمدبن حسین کاشانی معروف به باباافضل . وی از مردم مَرَق از توابع کاشانست . وفات او در سنه ٔ 707 هَ . ق . رخ داده و تربتش به مرق کاشان و زیارتگاه است . باباافضل از حکما وعلما