org.combinators.cls.inhabitation
Provides a type inhabitation algorithm for finite combinatory logic (FCL)
(Since version ) see corresponding Javadoc for more information.
Provides a type inhabitation algorithm for finite combinatory logic (FCL)