Post #2780913

@dysfun@social.treehouse.systems Well Axiom f: False. is 15, but with work I'm sure we could bring it down @treehouse.systems @jesper@agda.club @mevenlennonbertrand@lipn.info