@dysfun@social.treehouse.systems
Post #2780912
2026-03-02 13:18 UTC
@jesper@agda.club @mevenlennonbertrand@lipn.info believe_me in idris is only 10 chars. we've got you nailed on this rather unusual benchmark.
Replies (1)
-
@jac@types.pl 2026-03-02 19:12
@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