main | |
1 (Function) | DDF.Poly |
2 (Function) | DDF.Xor |
map | DDF.DBI, DDF.Bool, DDF.Lang |
map1 | DDF.DBI, DDF.Bool, DDF.Lang |
map2 | DDF.DBI, DDF.Bool, DDF.Lang |
minus | DDF.Lang |
minus1 | DDF.Lang |
minus2 | DDF.Lang |
mkProd | DDF.Lang |
mkProd1 | DDF.Lang |
mkProd2 | DDF.Lang |
Monad | DDF.DBI, DDF.Bool, DDF.Lang |
Monoid | DDF.DBI, DDF.Bool, DDF.Lang |
mult | DDF.Lang |
mult1 | DDF.Lang |
mult2 | DDF.Lang |