4 ms·

Replace `find [] s = nothing` with `find [] s = left ("variable " ++ s ++ " not defined")` (assuming types/functions similar to Haskell, I don't actually know

Replace `find [] s = nothing` with `find [] s = left ("variable " ++ s ++ " not defined")` (assuming types/functions similar to Haskell, I don't actually know Agda)