« предыдущая тема следующая тема »
Страницы: [1]

Автор Тема: [haskell] Исходники микроядра seL4  (Прочитано 2766 раз)

valexey_u

  • Hero Member
  • *****
  • Сообщений: 3013
    • Просмотр профиля
[haskell] Исходники микроядра seL4
« : Февраль 03, 2013, 10:16:44 am »
Исходники на Haskell'e: http://www.ertos.nicta.com.au/research/sel4/sel4-refman.pdf

Оформленов в стиле литературного программирования.
Записан
Y = λf.(λx.f (x x)) (λx.f (x x))
Страницы: [1]
« предыдущая тема следующая тема »