Files
gf-core/lib/src/experimental/NDLiftFin.gf

6 lines
119 B
Plaintext

concrete NDLiftFin of NDLift =
RGLBaseFin - [Pol,Tense]
,NDPredFin
** NDLiftFunctor with (Lift = LiftFin) ;