Home
Explore
mastodon.social
mstdn.jp
mstdn.social
infosec.exchange
mas.to
hachyderm.io
mastodon.world
piaille.fr
social.vivaldi.net
m.cmx.im
troet.cafe
mastodon.uno
techhub.social
mastodon.gamedev.place
mastodon.nl
social.tchncs.de
kolektiva.social
norden.social
mastodonapp.uk
universeodon.com
mathstodon.xyz
tech.lgbt
nrw.social
mstdn.ca
c.im
occm.cc
aus.social
mastodon.sdf.org
sfba.social
mastodon-japan.net
mastodon.scot
masto.es
sueden.social
det.social
toot.community
mstdn.party
ohai.social
defcon.social
mastodon.ie
mastodontech.de
ruhr.social
feuerwehr.social
hessen.social
mastodon.nu
ioc.exchange
flipboard.social
social.linux.pizza
mastodon.eus
social.cologne
muenchen.social
livellosegreto.it
mastodon.au
indieweb.social
mindly.social
nerdculture.de
mastodont.cat
mastodon.green
ieji.de
social.anoxinon.de
pouet.chapril.org
ruby.social
mastodon.nz
mastodon.bida.im
wehavecookies.social
cyberplace.social
mastodontti.fi
phpc.social
metalhead.club
mastodon.ml
toot.wales
tkz.one
climatejustice.social
pol.social
dresden.network
mastouille.fr
sciences.social
m.otter.homes
noc.social
mstdn.business
sunny.garden
toot.io
mstdn.plus
uri.life
urbanists.social
bark.lgbt
blorbo.social
hostux.social
mastodon.me.uk
furry.engineer
freiburg.social
rollenspiel.social
tooting.ch
bonn.social
mastorol.es
mstdn.games
masto.pt
discuss.systems
mapstodon.space
wien.rocks
mast.lat
rheinneckar.social
rivals.space
snabelen.no
hcommons.social
mastodon-belgium.be
expressional.social
mastoot.fr
tilde.zone
glasgow.social
ludosphere.fr
mastodon.gal
peoplemaking.games
shelter.moe
socel.net
cupoftea.social
lgbtqia.space
qdon.space
muenster.im
veganism.social
sociale.network
fairy.id
union.place
toad.social
woof.tech
theblower.au
vmst.io
h4.io
famichiki.jp
mast.dragon-fly.club
gaygeek.social
masto.nu
stranger.social
sakurajima.moe
mastodon.berlin
toot.aquilenet.fr
retro.pizza
mastodon.holeyfox.co
urusai.social
pawb.fun
tooot.im
bookstodon.com
musicworld.social
freeradical.zone
eupolicy.social
corteximplant.com
witter.cz
darmstadt.social
oslo.town
kanoa.de
graphics.social
mastodon.uy
4bear.com
fandom.ink
cr8r.gg
xarxa.cloud
disabled.social
mustard.blog
qaf.men
historians.social
machteburch.social
pnw.zone
mstdn.dk
libretooth.gr
musicians.today
mountains.social
furries.club
vkl.world
masto.nyc
toot.kif.rocks
babka.social
mastodon.com.pl
cosocial.ca
masto.nobigtech.es
muri.network
dizl.de
mastodon.energy
archaeo.social
mastoturk.org
tooter.social
musician.social
hear-me.social
drupal.community
mastodon.pnpde.social
bahn.social
dmv.community
fedi.at
social.seattle.wa.us
convo.casa
fulda.social
thecanadian.social
donphan.social
norcal.social
frikiverse.zone
is.nota.live
gamepad.club
mast.hpc.social
bzh.social
social.politicaconciencia.org
mograph.social
tchafia.be
wargamers.social
ciberlandia.pt
toot.si
tuiter.rocks
ani.work
toot.funami.tech
social.silicon.moe
burningboard.net
tyrol.social
burma.social
theatl.social
epicure.social
augsburg.social
puntarella.party
hometech.social
datasci.social
khiar.net
gardenstate.social
cultur.social
mastodon.london
opencoaster.net
lou.lt
esq.social
genealysis.social
est.social
mastodon.africa
mstdn.animexx.de
elekk.xyz
colorid.es
kurry.social
indieauthors.social
hispagatos.space
mastodon.education
toot.garden
friendsofdesoto.social
mastodon.pirateparty.be
planetearth.social
earthstream.social
cyberfurz.social
lsbt.me
apobangpo.space
opalstack.social
h-net.social
mastodon.vlaanderen
hoosier.social
seocommunity.social
leipzig.town
mastodon.wien
drumstodon.net
ruhrpott.social
poweredbygay.social
guitar.rodeo
toot.re
kfem.cat
arvr.social
frontrange.co
mastodon.cr
jvm.social
metalverse.social
techtoots.com
fribygda.no
mastodon.bot
rheinhessen.social
toots.nu
fikaverse.club
raphus.social
social.veraciousnetwork.com
mastodon.sg
paktodon.asia
mastodon.free-solutions.org
x0r.be
rail.chat
lewacki.space
cwb.social
masto.yttrx.com
clj.social
squawk.mytransponder.com
mastodon.hosnet.fr
growers.social
mastodon.escepticos.es
camp.smolnet.org
mastodon-swiss.org
vermont.masto.host
okla.social
library.love
elizur.me
devianze.city
bologna.one
mastodon.bachgau.social
mastodon.cipherbliss.com
social.diva.exchange
skastodon.com
birdon.social
stereodon.social
synapse.cafe
biplus.social
balkan.fedive.rs
ailbhean.co-shaoghal.net
mastodon.iow.social
kcmo.social
mastodon.babb.no
k8s.social
nomanssky.social
episcodon.net
kzoo.to
mastodon.ph
mastodon.frl
mcr.wtf
cville.online
freemasonry.social
silversword.online
voi.social
nfld.me
social.ferrocarril.net
mastodon.ee
ms.maritime.social
mastodon.mg
polsci.social
social.sndevs.com
mastodon.vanlife.is
23.illuminati.org
fpl.social
nwb.social
dariox.club
troet.fediverse.at
mastodon.bahia.no
darticulate.com
ceilidh.online
jaxbeach.social
kjas.no
bvb.social
mikumikudance.cloud
computerfairi.es
learningdisability.social
tea.codes
wxw.moe
Log In
Martin Escardo
People who think their Agda code with no explanations is self-explanatory.
1
2
7
Show thread
chris martens
Jun 27
@MartinEscardo
are you subtooting conor
1
0
0
Show thread
Martin Escardo
Jun 28
@chrisamaphone
Don't most, maybe 99% of Agda repositories, fail to include any comment at all?
0
0
1
Martin Escardo
chris martens