Learn Go with test-driven development
Weird choice of link. Try this instead:
Conway's Game of Life in Agda.
Sure, they are validated at compile time because they are propositions as types, but in the end they are still basically test cases: expected output for given input, and the compiler is the test runner.
I don't know how to encode the full "Game of Life" property as dependent types, I am still an Agda newbie.
Less time debugging, more time building. Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.
From being confident to being professional
5 projects | reddit.com/r/golang | 27 Jun 2022
I’ve studied golang by solving algorithms, what do I have to learn next to land a job?
2 projects | reddit.com/r/golang | 7 May 2022
What's the Golang structured course for backend.
1 project | reddit.com/r/golang | 20 Apr 2022
3 projects | reddit.com/r/golang | 10 Apr 2022
Learn Go with Tests: Generics
1 project | reddit.com/r/golang | 19 Mar 2022