Skip to content
GitLab
Explore
Sign in
Due to inactivity, this project is scheduled to be deleted on 2035-04-24.
Why is this scheduled?
Marc Coiffier
BHR
Repository
BHR
capricon
src
Data
CaPriCon.hs
Find file
Blame
History
Permalink
Start defining an explicit representation of inductive Church encodings for the 'mu' combinator
· e3667cf8
Marc Coiffier
authored
Jun 30, 2019
e3667cf8