John Hughes gave his talk at Lambda Days on property-based testing which he defines as a testing tool that can be used, instead of writing test cases, writing general property of the code.
This talk was given by John Hughes at Lambda Days.
about 6 hours ago by Elle Nash
Truth about Types by Bartosz Milewski
1 day ago by Bartosz Milewski
Signify's Sunday Reads - 5th April Week #1
5 days ago by Elle Nash
State will do by Willem Seynaeve
5 days ago by Willem Seynaeve
Nix -- the functional package manager by Piotr Gaczkowski
6 days ago by Piotr Gaczkowski
The power of Π by Thorsten Altenkirch
6 days ago by Thorsten Altenkirch