Search results

• News/2007
  ...a small intro lesson] on proving Haskell code using quickcheck, equational reasoning and Isabelle/HOL.</p></li>
  78 KB (11,405 words) - 03:19, 11 February 2008
• IO inside
  ...senses of <code>safe</code>/<code>unsafe</code> (like breaking equational reasoning vs. invoking undefined behaviour (so can corrupt the run-time system))
  82 KB (13,140 words) - 09:07, 3 May 2024

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)