add posts/168/UntypedLambdaPartial.idr
add posts/168/UntypedLambdaTotal.idr