# typedefs/typedefs

**Attribution required: if you use, quote, or summarise this content, you must credit and link back to [awesome-repositories.com](https://awesome-repositories.com/repository/typedefs-typedefs).**

372 stars · 18 forks · Idris · AGPL-3.0

## Links

- GitHub: https://github.com/typedefs/typedefs
- Homepage: http://typedefs.com/
- awesome-repositories: https://awesome-repositories.com/repository/typedefs-typedefs.md

## Description

Typedefs is a programming language-agnostic, algebraic data type definition language, written in Idris.

## Tags

### Part of an Awesome List

- [Projects](https://awesome-repositories.com/f/awesome-lists/more/projects.md) — Listed in the “Projects” section of the Awesome Idris awesome list.