Agda — δείγμα κώδικα — DedSec Project
module Hello where open import Agda.Builtin.Nat answer : Nat answer = 42
Αναφορά πηγαίου κώδικα
module Hello where
open import Agda.Builtin.Nat
answer : Nat
answer = 42
module Hello where open import Agda.Builtin.Nat answer : Nat answer = 42
module Hello where
open import Agda.Builtin.Nat
answer : Nat
answer = 42