• Previous Day
  • |
  • Next Day

2023-01-28

juan_gandhi: (Default)
2023-01-28 02:27 pm
  • Add Memory
  • Share This Entry
Entry tags:
  • scala

I'm convinced

My first chat with chatGPT.
I'm convinced.


 
  • Add Memory
  • Share This Entry
  • Link
  • 18 comments
  • Post a new comment
juan_gandhi: (Default)
2023-01-28 02:32 pm
  • Add Memory
  • Share This Entry

Programming Language Foundations in Agda

https://plfa.github.io/ 
  • Add Memory
  • Share This Entry
  • Link
  • 2 comments
  • Post a new comment
  • Previous Day
  • |
  • Next Day

[ Home | Post Entry | Log in | Search | Browse Options | Site Map ]