rs86

Posts

• Ask HN: Python Weekly Newsletters?
  by rs86on 3/29/2020, 8:13 PMwith 2 comments
• Philip Wadler talk on why people use FP
  by rs86on 3/13/2020, 1:25 PMwith 0 comments
• A very simple example of verification in Idris
  by rs86on 11/28/2018, 5:45 PMwith 0 comments