Skip to content

Latest commit

 

History

History
 
 

0019-algebraic-data-types-pt3

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 

This directory contains code from Point-Free Episode: Algebraic Data Types: Generics and Recursion

Our third installment of algebraic data types explores how generics and recursive data types manifest themselves in algebra. This exploration allows us to construct a useful, precise type that can be useful in everyday programming.