disco-0.2: Functional programming language for teaching discrete math.

Index - K

KBoolDisco.Exhaustiveness.TypeInfo
KCharDisco.Exhaustiveness.TypeInfo
KConsDisco.Exhaustiveness.TypeInfo
KeepKeysDisco.Effects.Store
keepKeysDisco.Effects.Store
keysSetDisco.Context
KIntDisco.Exhaustiveness.TypeInfo
KLeftDisco.Exhaustiveness.TypeInfo
KNatDisco.Exhaustiveness.TypeInfo
KNilDisco.Exhaustiveness.TypeInfo
KPairDisco.Exhaustiveness.TypeInfo
KRightDisco.Exhaustiveness.TypeInfo
KUnitDisco.Exhaustiveness.TypeInfo
KUnknownDisco.Exhaustiveness.TypeInfo