agda: simplify formula
agda: simplify formula

Homebrew/homebrew,jab/homebrew,michaKFromParis/homebrew-sparks,sakra/homebrew,SuperNEMO-DBD/cadfaelbrew,saketkc/linuxbrew,pdxdan/homebrew,gicmo/homebrew,Asuranceturix/homebrew,michaKFromParis/homebrew-sparks,reelsense/linuxbrew,drbenmorgan/linuxbrew,iandennismiller/homebrew,redpen-cc/homebrew,skinny-framework/homebrew,scorphus/homebrew,ablyler/homebrew,teslamint/homebrew,reelsense/linuxbrew,tschoonj/homebrew,hanxue/homebrew,recruit-tech/homebrew,esamson/homebrew,Chilledheart/homebrew,OJFord/homebrew,pdxdan/homebrew,miketheman/homebrew,DoomHammer/linuxbrew,totalvoidness/homebrew,ybott/homebrew,sometimesfood/homebrew,retrography/homebrew,kodabb/homebrew,feelpp/homebrew,Linuxbrew/linuxbrew,LinusU/homebrew,saketkc/linuxbrew,decors/homebrew,dunn/homebrew,tutumcloud/homebrew,MartinDelille/homebrew,yazuuchi/homebrew,mobileoverlord/homebrew-1,pcottle/homebrew,tschoonj/homebrew,teslamint/homebrew,iandennismiller/homebrew,Angeldude/linuxbrew,jamer/homebrew,knpwrs/homebrew,iostat/homebrew2,emcrisostomo/homebrew,jconley/homebrew,osimola/homebrew,ExtremeMan/homebrew,thinker0/homebrew,ablyler/homebrew,manphiz/homebrew,Homebrew/linuxbrew,treyharris/homebrew,dutchcoders/homebrew,ralic/homebrew,dplarson/homebrew,thinker0/homebrew,ento/homebrew,menivaitsi/homebrew,AlexejK/homebrew,mmizutani/homebrew,youtux/homebrew,Red54/homebrew,osimola/homebrew,jiashuw/homebrew,filcab/homebrew,joshfriend/homebrew,BrewTestBot/homebrew,SteveClement/homebrew,hakamadare/homebrew,retrography/homebrew,johanhammar/homebrew,TaylorMonacelli/homebrew,bukzor/linuxbrew,Homebrew/homebrew,mactkg/homebrew,BrewTestBot/homebrew,skinny-framework/homebrew,danieroux/homebrew,ralic/homebrew,afh/homebrew,jarrettmeyer/homebrew,princeofdarkness76/homebrew,brunchboy/homebrew,Homebrew/linuxbrew,iostat/homebrew2,eighthave/homebrew,zchee/homebrew,esamson/homebrew,liamstask/homebrew,danieroux/homebrew,gnubila-france/linuxbrew,muellermartin/homebrew,zchee/homebrew,Homebrew/linuxbrew,tschoonj/homebrew,royhodgman/homebrew,jamer/homebrew,skinny-framework/homebrew,princeofdarkness76/homebrew,adamliter/homebrew,arnested/homebrew,MoSal/homebrew,quantumsteve/homebrew,elgertam/homebrew,Homebrew/homebrew,theeternalsw0rd/homebrew,bukzor/linuxbrew,danieroux/homebrew,Angeldude/linuxbrew,polishgeeks/homebrew,scpeters/homebrew,lrascao/homebrew,dutchcoders/homebrew,josa42/homebrew,cprecioso/homebrew,slyphon/homebrew,ExtremeMan/homebrew,ear/homebrew,BrewTestBot/homebrew,totalvoidness/homebrew,OJFord/homebrew,elgertam/homebrew,yazuuchi/homebrew,retrography/homebrew,cscetbon/homebrew,OJFord/homebrew,dutchcoders/homebrew,alebcay/homebrew,slyphon/homebrew,hyuni/homebrew,princeofdarkness76/homebrew,hakamadare/homebrew,cscetbon/homebrew,treyharris/homebrew,dunn/homebrew,Chilledheart/homebrew,dericed/homebrew,optikfluffel/homebrew,chadcatlett/homebrew,cprecioso/homebrew,decors/homebrew,galaxy001/homebrew,sjackman/linuxbrew,LinusU/homebrew,theeternalsw0rd/homebrew,MartinDelille/homebrew,princeofdarkness76/homebrew,joshfriend/homebrew,Homebrew/linuxbrew,Homebrew/homebrew,knpwrs/homebrew,influxdata/homebrew,benjaminfrank/homebrew,Linuxbrew/linuxbrew,hongkongkiwi/homebrew,jconley/homebrew,3van/homebrew,kenips/homebrew,jamer/homebrew,MartinDelille/homebrew,vigo/homebrew,gicmo/homebrew,drewwells/homebrew,influxdata/homebrew,dongcarl/homebrew,menivaitsi/homebrew,alebcay/homebrew,scpeters/homebrew,Chilledheart/homebrew,zhipeng-jia/homebrew,drbenmorgan/linuxbrew,frodeaa/homebrew,lrascao/homebrew,bigbes/homebrew,michaKFromParis/homebrew-sparks,zchee/homebrew,elyscape/homebrew,georgschoelly/homebrew,miketheman/homebrew,brunchboy/homebrew,haihappen/homebrew,filcab/homebrew,totalvoidness/homebrew,iandennismiller/homebrew,redpen-cc/homebrew,feelpp/homebrew,ryanfb/homebrew,getgauge/homebrew,royhodgman/homebrew,thinker0/homebrew,sjackman/linuxbrew,dickeyxxx/homebrew,sferik/homebrew,redpen-cc/homebrew,johanhammar/homebrew,jiashuw/homebrew,frodeaa/homebrew,jsjohnst/homebrew,sakra/homebrew,emcrisostomo/homebrew,cprecioso/homebrew,base10/homebrew,Angeldude/linuxbrew,jarrettmeyer/homebrew,ebouaziz/linuxbrew,vigo/homebrew,SuperNEMO-DBD/cadfaelbrew,emcrisostomo/homebrew,nandub/homebrew,youtux/homebrew,johanhammar/homebrew,scorphus/homebrew,dalanmiller/homebrew,keith/homebrew,dplarson/homebrew,skatsuta/homebrew,miketheman/homebrew,kenips/homebrew,mkrapp/homebrew,skatsuta/homebrew,optikfluffel/homebrew,teslamint/homebrew,reelsense/homebrew,emcrisostomo/homebrew,sjackman/linuxbrew,kevinastone/homebrew,knpwrs/homebrew,gawbul/homebrew,OJFord/homebrew,Linuxbrew/linuxbrew,scpeters/homebrew,base10/homebrew,SteveClement/homebrew,feelpp/homebrew,nandub/homebrew,hongkongkiwi/homebrew,dalanmiller/homebrew,pdxdan/homebrew,mobileoverlord/homebrew-1,drbenmorgan/linuxbrew,deorth/homebrew,apjanke/homebrew,dunn/homebrew,frodeaa/homebrew,zhipeng-jia/homebrew,quantumsteve/homebrew,feelpp/homebrew,nelstrom/homebrew,galaxy001/homebrew,galaxy001/homebrew,adamliter/homebrew,theeternalsw0rd/homebrew,elgertam/homebrew,muellermartin/homebrew,utzig/homebrew,AlexejK/homebrew,jab/homebrew,haihappen/homebrew,eighthave/homebrew,booi/homebrew,gicmo/homebrew,pcottle/homebrew,slyphon/homebrew,tutumcloud/homebrew,dalanmiller/homebrew,jarrettmeyer/homebrew,ralic/homebrew,recruit-tech/homebrew,adamliter/homebrew,menivaitsi/homebrew,scorphus/homebrew,mkrapp/homebrew,drbenmorgan/linuxbrew,ilovezfs/homebrew,dunn/homebrew,reelsense/linuxbrew,Asuranceturix/homebrew,keith/homebrew,nelstrom/homebrew,TaylorMonacelli/homebrew,DoomHammer/linuxbrew,tutumcloud/homebrew,osimola/homebrew,sferik/homebrew,hongkongkiwi/homebrew,utzig/homebrew,dgageot/homebrew,kodabb/homebrew,manphiz/homebrew,afh/homebrew,jarrettmeyer/homebrew,polishgeeks/homebrew,influxdata/homebrew,knpwrs/homebrew,afh/homebrew,cosmo0920/homebrew,ear/homebrew,MoSal/homebrew,ilovezfs/homebrew,SteveClement/homebrew,chadcatlett/homebrew,ablyler/homebrew,keith/homebrew,osimola/homebrew,dplarson/homebrew,deorth/homebrew,manphiz/homebrew,recruit-tech/homebrew,ryanfb/homebrew,influxdata/homebrew,3van/homebrew,gawbul/homebrew,ybott/homebrew,ablyler/homebrew,mmizutani/homebrew,reelsense/homebrew,kodabb/homebrew,marcwebbie/homebrew,dongcarl/homebrew,bukzor/linuxbrew,dericed/homebrew,ento/homebrew,zchee/homebrew,alebcay/homebrew,base10/homebrew,retrography/homebrew,benjaminfrank/homebrew,jamer/homebrew,frodeaa/homebrew,sakra/homebrew,afh/homebrew,gnubila-france/linuxbrew,LinusU/homebrew,liamstask/homebrew,ExtremeMan/homebrew,kevinastone/homebrew,Asuranceturix/homebrew,nandub/homebrew,pcottle/homebrew,liamstask/homebrew,benjaminfrank/homebrew,kevinastone/homebrew,hyuni/homebrew,Asuranceturix/homebrew,marcwebbie/homebrew,davydden/linuxbrew,yumitsu/homebrew,pdxdan/homebrew,Linuxbrew/linuxbrew,mactkg/homebrew,elgertam/homebrew,quantumsteve/homebrew,arnested/homebrew,slyphon/homebrew,mactkg/homebrew,muellermartin/homebrew,dutchcoders/homebrew,ryanfb/homebrew,hanxue/homebrew,hyuni/homebrew,elyscape/homebrew,drewwells/homebrew,blogabe/homebrew,sometimesfood/homebrew,dongcarl/homebrew,influxdb/homebrew,hakamadare/homebrew,treyharris/homebrew,TaylorMonacelli/homebrew,galaxy001/homebrew,tschoonj/homebrew,dalanmiller/homebrew,ybott/homebrew,eighthave/homebrew,iostat/homebrew2,dickeyxxx/homebrew,haihappen/homebrew,reelsense/homebrew,AlexejK/homebrew,zhipeng-jia/homebrew,booi/homebrew,vigo/homebrew,mkrapp/homebrew,vigo/homebrew,Red54/homebrew,marcwebbie/homebrew,getgauge/homebrew,bukzor/linuxbrew,hanxue/homebrew,sakra/homebrew,Angeldude/linuxbrew,pcottle/homebrew,reelsense/linuxbrew,bigbes/homebrew,MoSal/homebrew,gnubila-france/linuxbrew,ralic/homebrew,MartinDelille/homebrew,gawbul/homebrew,Red54/homebrew,mobileoverlord/homebrew-1,kodabb/homebrew,optikfluffel/homebrew,skatsuta/homebrew,cosmo0920/homebrew,jab/homebrew,danieroux/homebrew,ilovezfs/homebrew,apjanke/homebrew,scpeters/homebrew,ilovezfs/homebrew,hyuni/homebrew,esamson/homebrew,ExtremeMan/homebrew,davydden/linuxbrew,yumitsu/homebrew,3van/homebrew,Red54/homebrew,scorphus/homebrew,kenips/homebrew,nandub/homebrew,ebouaziz/linuxbrew,reelsense/homebrew,sferik/homebrew,menivaitsi/homebrew,sferik/homebrew,davydden/linuxbrew,skatsuta/homebrew,ear/homebrew,johanhammar/homebrew,dericed/homebrew,dickeyxxx/homebrew,cprecioso/homebrew,liamstask/homebrew,apjanke/homebrew,manphiz/homebrew,influxdb/homebrew,sometimesfood/homebrew,Chilledheart/homebrew,chadcatlett/homebrew,theeternalsw0rd/homebrew,georgschoelly/homebrew,esamson/homebrew,mactkg/homebrew,recruit-tech/homebrew,mmizutani/homebrew,dongcarl/homebrew,elyscape/homebrew,keith/homebrew,davydden/linuxbrew,haihappen/homebrew,dericed/homebrew,nelstrom/homebrew,gnubila-france/linuxbrew,jiashuw/homebrew,miketheman/homebrew,mobileoverlord/homebrew-1,influxdb/homebrew,ear/homebrew,TaylorMonacelli/homebrew,iandennismiller/homebrew,optikfluffel/homebrew,mmizutani/homebrew,yumitsu/homebrew,filcab/homebrew,blogabe/homebrew,jconley/homebrew,apjanke/homebrew,MoSal/homebrew,DoomHammer/linuxbrew,treyharris/homebrew,zhipeng-jia/homebrew,getgauge/homebrew,utzig/homebrew,SuperNEMO-DBD/cadfaelbrew,royhodgman/homebrew,DoomHammer/linuxbrew,cscetbon/homebrew,elyscape/homebrew,josa42/homebrew,ebouaziz/linuxbrew,Asuranceturix/homebrew,dickeyxxx/homebrew,josa42/homebrew,brunchboy/homebrew,LinusU/homebrew,youtux/homebrew,polishgeeks/homebrew,kenips/homebrew,marcwebbie/homebrew,blogabe/homebrew,saketkc/linuxbrew,decors/homebrew,cosmo0920/homebrew,hongkongkiwi/homebrew,kevinastone/homebrew,lrascao/homebrew,quantumsteve/homebrew,ebouaziz/linuxbrew,influxdb/homebrew,cosmo0920/homebrew,benjaminfrank/homebrew,sometimesfood/homebrew,BrewTestBot/homebrew,totalvoidness/homebrew,ybott/homebrew,yazuuchi/homebrew,teslamint/homebrew,utzig/homebrew,AlexejK/homebrew,thinker0/homebrew,arnested/homebrew,bigbes/homebrew,sjackman/linuxbrew,deorth/homebrew,base10/homebrew,gicmo/homebrew,ryanfb/homebrew,eighthave/homebrew,drewwells/homebrew,royhodgman/homebrew,dplarson/homebrew,skinny-framework/homebrew,bigbes/homebrew,getgauge/homebrew,georgschoelly/homebrew,brunchboy/homebrew,SuperNEMO-DBD/cadfaelbrew,tutumcloud/homebrew,filcab/homebrew,SteveClement/homebrew,saketkc/linuxbrew,georgschoelly/homebrew,jsjohnst/homebrew,nelstrom/homebrew,jiashuw/homebrew,decors/homebrew,ento/homebrew,blogabe/homebrew,drewwells/homebrew,arnested/homebrew,jsjohnst/homebrew,dgageot/homebrew,yazuuchi/homebrew,polishgeeks/homebrew,booi/homebrew,joshfriend/homebrew,alebcay/homebrew,dgageot/homebrew,dgageot/homebrew,pcottle/homebrew,jsjohnst/homebrew,muellermartin/homebrew,ento/homebrew,hanxue/homebrew,jab/homebrew,hakamadare/homebrew,redpen-cc/homebrew,jconley/homebrew,youtux/homebrew,SteveClement/homebrew,adamliter/homebrew,3van/homebrew,iostat/homebrew2