todos-0.3: Easy-to-use TODOs manager.

Todos.Unicode

Synopsis

Documentation

type ℝ = Float Source

type ℤ = Integer Source

type 𝔹 = Bool Source

(⧺) :: [a] -> [a] -> [a]Source

Concatenate lists

(⋄) :: (a -> b) -> a -> bSource

(∘) :: (b -> c) -> (a -> b) -> a -> cSource

(∨) :: Bool -> Bool -> Bool Source

(∧) :: Bool -> Bool -> Bool Source

(∈) :: Eq a => a -> [a] -> Bool Source