description	Examples of sum algebraic data types in C99
owner	alessio.chiapperini@nullbuffer.com
last change	Fri, 1 May 2020 20:16:51 +0000 (1 22:16 +0200)
URL	git://repo.or.cz/algebraiC.git
	https://repo.or.cz/algebraiC.git
push URL	ssh://repo.or.cz/algebraiC.git
	https://repo.or.cz/algebraiC.git ^{(learn more)}
bundle info	algebraiC.git downloadable bundles
content tags add:	c c99

README.md

AlgebraiC

Implementation of Peano numbers and lazy list as sum data types in C as discussed in https://nullbuffer.com/2019/11/15/algebraic_c.html.

Building

To compile a specific example, you can simply run

$ make

in its folder.

2020-05-01	Alessio Chiapperini	Add README.mdmaster	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2019-11-14	Alessio Chiapperini	Add null check to make_zero function	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2019-11-14	Alessio Chiapperini	Fix missing pattern in print_list	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2019-11-14	Alessio Chiapperini	Add UNLICENSE file	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2019-11-14	Alessio Chiapperini	Add list data type example	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2019-11-14	Alessio Chiapperini	Add peano numbers implementation	commit \| commitdiff \| tree \| snapshot (tar.gz zip)

3 years ago

Examples of sum algebraic data types in C99