Post #2975030

@Gankra@toot.cat man type systems are weird. I still don't fully understand what dependent types are and how they lead to proofs exactly