Follow

So I just found out I implemented the wrong thing for my homework project

The specification: 9 lines
The 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"

Okay I've fixed everything
This is still due in like ten days but I was sufficiently embarrassed by my mistake that I had to go fix it immediately

Sign in to participate in the conversation
types.pl

A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.