deft: comprobaciones de tipo opcionales para Janet con tipado gradual
deft es un módulo para el lenguaje de programación Janet que añade comprobaciones de tipo opcionales aplicables en tiempo de ejecución, en compilación o con anticipación (ahead-of-time). El proyecto aplica los principios del tipado gradual descritos por Siek y Taha, junto con el cálculo de culpa (bl
