So I just found out I implemented the wrong thing for my homework project
The specification: 9 linesThe implementation: 1 line
It's like those proofs in HoTT where the lemma statement takes half a page to state and the proof itself is "By path induction on p and q"
Z3 makes laptop fan go brrrr
Okay I've fixed everythingThis is still due in like ten days but I was sufficiently embarrassed by my mistake that I had to go fix it immediately
@ionchy Better than the converse
A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.