Programmes par lci.sf.net

LCI est l’interprète du calcul lambda. Il prend en charge de nombreuses fonctionnalités avancées telles que les entiers, la récurrence, les opérateurs définis par l’utilisateur et les stratégies d’évaluation multiples.