GitHub repository: justinwoo/purescript-fixed-points
Primary language: PureScript
Description: Types for the least and greatest fixed points of functors.