../code/conceptPage.scroll

id typedefs
name typedefs
appeared 2017
tags grammarLanguage
website https://typedefs.com/
description Typedefs is a programming language agnostic, algebraic data type definition language, written in Idris.

domainName typedefs.com
 registered 2017
 awisRank
  2022 9114977