Who sings the "Murray Has a Little Lamb" theme?

[lazylaces]

Does anyone know who sings the theme song to "Murray has a little lamb"? I suspect that it's Lin-Manuel Miranda who you can find at this link. I want to know because I'm doing research for the wiki.
You know, that one wiki. With the Muppets. What's the name of it again?

 

[bealou42]

It is Manuel Lin Miranda!

Hello, I was curious about this too and I found my answer here.

 

[lazylaces]

thanks!