4 thoughts on “Announcement: The Ultimate Mars Rover Onboard Computer Talk

  1. Dr. λ, Creator of Variables, Binder of Variables, Applicator of Terms, Checker of Types, β-Reducer of β-Redexes

    This would sound really neat if Mars rovers actually went to Mars.


Leave a Reply

Your email address will not be published. Required fields are marked *