Learn You an Agda for Even Greater Good!

Description: A silly introduction to the Agda language and its standard library. Agda is a dependently-typed functional programming language, or dually, a proof assistant based on Per Martin-Löf's intuitionistic type theory.

Keywords: learn you agda even greater good dependent type functional language proposition proof assistant standard library stdlib

Tags: learnyouanagda, agda, good, learn, valid, greater, welcome, creative, strict, commons, css, xhtml, reasoning, great, haskell, liyang, equational, default, license, wiki, language, licensed, alike, noncommercial, share, attribution, functional, type, proof, standard, assistant, library, wikilearn, updated, menuwelcomeupdates, goodlast, number, brought, welcomenothing, linksthe,

Learnyouanagda.org

Content Revalency: Title: 50.00%   Description: 3.45%   Keywords: 25.00%  |  Document size: 2,832 bytes More info: Whois - Trace Route - RBL Check

LEARNYOUANAGDA.ORG - Site Location
Country/Flag	United Kingdom
City/Region/Zip Code	, ,
Organization	Netcalibre Ltd
Internet Service Provider	Netcalibre Ltd