Mull is an experimental ML-family programming language for exploring concepts of higher type computability
