Agda — reference sample — DedSec Project
module Hello where open import Agda.Builtin.Nat answer : Nat answer = 42
Source reference
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