niconiconi, Q: How many Prolog programmers does it take to change a lightbulb?
A: No.Q: How many Lean programmers does it take to change a lightbulb?
A: sorry.
niconiconi, Q: How many Prolog programmers does it take to change a lightbulb?
A: No.Q: How many Lean programmers does it take to change a lightbulb?
A: sorry.
Add comment