Conversation

Notices

1. Embed this notice
   quat (steady and true) (quat@woof.group)'s status on Saturday, 28-Dec-2024 13:25:48 JST quat (steady and true)

   in reply to

   the very introductory bits of "functional programming with lean" is like "when you make a structure, be careful to add `deriving Repr` or you can't print those types in the interactive session!", but i guess they started doing that automatically or something, since it works fine lol

   • Embed this notice
     quat (steady and true) (quat@woof.group)'s status on Saturday, 28-Dec-2024 13:25:49 JST quat (steady and true)

     hmmmmm so you just write code and can automatically see the types under the cursor + the evaluation result in the right pane.... hmm........