Начало Каталог Помощ
Вход
caryoscelus
/
agda
Наблюдаван 1
Харесван 0
Разклонения 0
Файлове Задачи 0 Заявки за сливане 0 Уики
ИН на ревизия: ce9b406819
Клонове Маркери
agda
/
test
/
LaTeXAndHTML
/
succeed
/
Org.lagda.org

Org.lagda.org 195 B
История Директен файл

Org mode

  • A list item!
  • Another1

module Org where

data Bool : Set where

Some prose. Some more code.

true : Bool false : Bool