#Alonzo news: I'm now reimplementing a System F Omega typechecker under a test-driven development paradigm.
In that vein I've now got tests indicating that this typechecker can be applied to verify types such as Null & Bool. Not very impressive yet, and my code's heavily over-engineered for this purpose (contrary to TDD guidance)... But I've written the obvious code & it didn't work for me!
Tomorrow I'll unit test generics & a Maybe type.
