Haskell

Carnap.io, Haskell programlama dili kullanılarak geliştirilmiş, biçimsel mantık eğitimi ve çalışması için tasarlanmış ücretsiz ve açık kaynaklı bir yazılım framework'üdür. Dünya genelinde onlarca kole...