morte-1.5.0: test/src/example1.mt

-- id.mt

-- Morte accepts comments

-- Also, whitespace is not significant
\(String : *) ->
    (\(a : *) -> \(x : a) -> x) String