EntityQ20479· pop 12· linked from 133 articlesAgdaSign in to savedependently typed, purely functional programming language and proof assistantConnectionsprogramming languageEntitytype systemEntityproof assistantEntitydependent typeEntitySwedishEntitychickenEntityoperating systemEntitysoftwareEntityQ2005EntityUnicodeEntityQ364EntitybracketsEntityQ154755Entityopen-source softwareEntityQ34010EntityQ118398Entitysoftware licenseEntityfunctional programmingEntityprogramming paradigmEntitysoftware developmentEntityCategories2007 softwareAcademic programming languagesChalmers University of TechnologyCross-platform free softwareDependently typed languagesFree and open source compilersFree software programmed in HaskellFunctional languagesHaskell programming language familyPattern matching programming languagesProgramming languagesProgramming languages created in 2007