HalfNormal function

Half-normal distribution