GitHub repository: lag47/mrec
Created: 2022-03-28T16:52:50Z
Description: This repo is for working out the theory for an mrec combinator for the itrees library