▁capabilities ▁dependent ▁types ▁bring ▁may ▁be ▁found ▁in ▁The ▁Ep ig ram ▁T utorial . ▁ ▁See ▁also ▁ ▁Alf , ▁a ▁proof ▁assistant ▁among ▁the ▁prede cess ors ▁of ▁Ep ig ram . ▁ ▁Further ▁reading ▁Con or ▁Mc B ride ▁and ▁James ▁McK in na ▁( 2 0 0 4 ), ▁The ▁view ▁from ▁the ▁left , ▁Journal ▁of ▁Function al ▁Program ming ▁Con or ▁Mc B ride ▁( 2 0 0 4 ), ▁The ▁Ep ig ram ▁Pro totype , ▁a ▁nod ▁and ▁two ▁w inks ▁Con or ▁Mc B ride ▁( 2 0 0 4 ), ▁The ▁Ep ig ram ▁T utorial ▁Thor sten ▁Al ten kir ch , ▁Con or ▁Mc B ride ▁and ▁James ▁McK in na ▁( 2 0 0 5 ), ▁Why ▁Dep endent ▁Types ▁M atter ▁James ▁Chap man , ▁Thor sten ▁Al ten kir ch , ▁Con or ▁Mc B ride ▁( 2 0 0 6 ), ▁" E p ig ram ▁Rel o aded : ▁A ▁Stand alone ▁Type check er ▁for ▁E TT " ▁James ▁Chap man , ▁Pierre - É var iste ▁D ag and , ▁Con or ▁Mc B ride , ▁Peter ▁Morris ▁( 2 0 1 0 ), ▁" The ▁gentle ▁art ▁of ▁lev itation " ▁ ▁External ▁links ▁▁ ▁E PS RC ▁on ▁AL F , ▁le go ▁and ▁related ▁( arch ived ▁version ▁from ▁ 2 0 0 6 ) ▁ ▁Ep ig ram ▁ 1 ▁GitHub ▁repo ▁ ▁Ep ig ram ▁ 2 ▁GitHub ▁repo