The design of Epigram and Epigram 2 have inspired the development of other systems such as Agda, Idris and Coq.
Designul Epigram și Epigram 2 au inspirat dezvoltarea altor sisteme cum ar fi ca Agda, Idris și Coq.