DoCon
DoCon, Haskell programlama dilinde yazılmış bir bilgisayarlı cebir sistemidir. Orta Rusya'nın Pereslavl-Zalessky şehrinde bulunan Program Sistemleri Enstitüsü'nde (Program Systems Institute) Serge Mechveliani tarafından geliştirilmiştir.
Program, kaynak kodu ve ilgili kılavuzuyla birlikte ücretsiz olarak dağıtılmaktadır.
Aralık 2004 itibarıyla, mevcut en son sürüm DoCon 2.08'di.
Ayrıca bakınız
[değiştir | kaynağı değiştir]Dış bağlantılar
[değiştir | kaynağı değiştir]- (DoCon ana sayfası, İngilizce)
- Sergei D. Meshveliani (2017), On dependent types and intuitionism in programming mathematics