The future's coming

Jun. 22nd, 2011 03:12 pm
thedeemon: (Default)
[personal profile] thedeemon
В списке команд прошедшего ICFPC в графе использованных языков встречаются Agda и Coq (оба в связке с окамлом). Тенденция, однако.
  • Add Memory
  • Share This Entry
Flat | Top-Level Comments Only

Date: 2011-06-22 01:03 pm (UTC)
From: [identity profile] sorhed.livejournal.com
И немудрено. Задание-то подходящее.
  • Add Memory
  • Share This Entry
Flat | Top-Level Comments Only

Profile

thedeemon: (Default)
Dmitry Popov

December 2025

S M T W T F S
 12 3456
789101112 13
14151617181920
21222324252627
28293031   

Most Popular Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Feb. 1st, 2026 11:43 pm
Powered by Dreamwidth Studios