βFunctional programmingβ
βFunctional data structuresβ
βAlgebraic Effectsβ
βDependent Typesβ
βAgdaβ
βIdrisβ
βContinuationsβ
βConcurrent Programmingβ
βMutexβ
βSemaphoresβ
βParallel Programmingβ
βUnicodeβ