b'\n_START_ARTICLE_\nLimbajul de programare Epigram\n_START_SECTION_\nSintax\xc4\x83\n_START_PARAGRAPH_\nEpigram utilizeaz\xc4\x83 o sintax\xc4\x83 de stil deductibil \xc3\xaen dou\xc4\x83 dimensiuni, cu o versiune LaTeX \xc8\x99i o versiune ASCII. Iat\xc4\x83 c\xc3\xa2teva exemple de la The Epigram Tutorial:\n_START_SECTION_\nNumerele naturale\n_START_PARAGRAPH_\nUrm\xc4\x83toarea declara\xc8\x9bie define\xc8\x99te numerele naturale:_NEWLINE_     (         !       (          !   (  n\xc2\xa0: Nat  !_NEWLINE_data\xc2\xa0!---------! where\xc2\xa0!----------!\xc2\xa0;\xc2\xa0!-----------!_NEWLINE_     ! Nat\xc2\xa0: * )       !zero\xc2\xa0: Nat)   !suc n\xc2\xa0: Nat)_NEWLINE_Declara\xc8\x9bia spune c\xc4\x83 Nat este un tip cu natur\xc4\x83 * (adic\xc4\x83 este un tip simplu) \xc8\x99i doi constructori: zero \xc8\x99i suc. Aceasta este echivalent\xc4\x83 cu declara\xc8\x9bia Haskell "data Nat = Zero | Suc Nat"._NEWLINE_La LaTeX, codul este afi\xc8\x99at ca:_NEWLINE_Notarea orizontal\xc4\x83 poate fi citit\xc4\x83 ca fiind "presupun\xc3\xa2nd (ceea ce este pe partea de sus) este adev\xc4\x83rat, putem deduce c\xc4\x83 (ceea ce este \xc3\xaen partea de jos) este adev\xc4\x83rat. "De exemplu," presupun\xc3\xa2nd c\xc4\x83 n este de tip Nat, atunci suc n este de tip Nat. "Dac\xc4\x83 nimic nu este pe partea de sus, atunci instruc\xc8\x9biunea de jos este \xc3\xaentotdeauna adev\xc4\x83rat\xc4\x83:" zero este de tip Nat (\xc3\xaen toate cazurile) ".\n_START_SECTION_\nRecurgerea la naturale\n_START_PARAGRAPH_\n...\xc8\x98i \xc3\xaen ASCII:_NEWLINE_NatInd\xc2\xa0: all P\xc2\xa0: Nat -> * => P zero ->_NEWLINE_         (all n\xc2\xa0: Nat => P n -> P (suc n)) ->_NEWLINE_         all n\xc2\xa0: Nat => P n_NEWLINE_NatInd P mz ms zero => mz_NEWLINE_NatInd P mz ms (suc n) => ms n (NatInd P mz ms n)\n_START_SECTION_\nTipuri dependente\n_START_PARAGRAPH_\nEpigrama este \xc3\xaen esen\xc8\x9b\xc4\x83 un calcul lambda tipizat cu extensii generalizate de date algebrice, cu excep\xc8\x9bia a dou\xc4\x83 extensii. \xc3\x8en primul r\xc3\xa2nd, tipurile sunt entit\xc4\x83\xc8\x9bi de prim\xc4\x83 clas\xc4\x83, de tip ; tipurile sunt expresii arbitrare de tip , iar tipul de echivalen\xc8\x9b\xc4\x83 este definit \xc3\xaen termenii formelor normale ale tipurilor. \xc3\x8en al doilea r\xc3\xa2nd, are un tip de func\xc8\x9bie dependent\xc4\x83; \xc3\xaen loc de , ,  este legat \xc3\xaen  la valoarea pe care argumentul func\xc8\x9biei (de tip ) ia \xc3\xaen cele din urm\xc4\x83.'