Home
Explore
mastodon.social
mstdn.social
infosec.exchange
mstdn.jp
hachyderm.io
piaille.fr
social.vivaldi.net
mastodon.world
troet.cafe
m.cmx.im
mastodon.uno
mastodon.gamedev.place
social.tchncs.de
mastodon.nl
norden.social
flipboard.social
kolektiva.social
mastoturk.org
mathstodon.xyz
tech.lgbt
nrw.social
occm.cc
mastodonapp.uk
defcon.social
universeodon.com
mstdn.ca
masto.es
c.im
sueden.social
mastodon.sdf.org
toot.community
mstdn.party
sfba.social
det.social
mastodon.scot
tkz.one
mastodon.ie
ohai.social
ruhr.social
hessen.social
mastodontech.de
mastodon.nu
pouet.chapril.org
livellosegreto.it
ieji.de
social.linux.pizza
mastodon.bida.im
muenchen.social
indieweb.social
mastodon.eus
social.cologne
mastodon.au
ioc.exchange
mastodon.green
mastodont.cat
feuerwehr.social
social.anoxinon.de
nerdculture.de
mindly.social
masto.nu
ruby.social
wehavecookies.social
mastodon.ml
cyberplace.social
metalhead.club
m.otter.homes
uri.life
dresden.network
phpc.social
mastodontti.fi
toot.wales
sunny.garden
climatejustice.social
noc.social
sciences.social
mstdn.plus
freiburg.social
tooting.ch
mastodon.me.uk
furry.engineer
blorbo.social
hostux.social
rollenspiel.social
bonn.social
mastoart.social
mastodon.com.pl
privacysafe.social
bark.lgbt
rheinneckar.social
urbanists.social
fairy.id
mast.lat
gaygeek.social
mstdn.games
rivals.space
masto.pt
wien.rocks
mapstodon.space
expressional.social
discuss.systems
todon.nl
hcommons.social
snabelen.no
mastodon-belgium.be
h4.io
darmstadt.social
lgbtqia.space
cupoftea.social
mastodon.gal
sakurajima.moe
tilde.zone
retro.pizza
woof.tech
shelter.moe
ludosphere.fr
mastorol.es
urusai.social
muenster.im
mastodon.berlin
glasgow.social
peoplemaking.games
pawb.fun
freeradical.zone
qdon.space
kanoa.de
bookstodon.com
famichiki.jp
socel.net
veganism.social
union.place
vmst.io
toot.aquilenet.fr
oslo.town
mast.dragon-fly.club
masto.nyc
mstdn.dk
eupolicy.social
witter.cz
theblower.au
mastodon.uy
ursal.zone
xarxa.cloud
tooot.im
toad.social
stranger.social
machteburch.social
thecanadian.social
musicworld.social
fandom.ink
mstdn.business
graphics.social
hear-me.social
disabled.social
tea.codes
burningboard.net
pnw.zone
furries.club
mountains.social
cultur.social
mustard.blog
4bear.com
toot.kif.rocks
dizl.de
gardenstate.social
archaeo.social
ciberlandia.pt
mastodon.pnpde.social
fedi.at
ani.work
musician.social
bahn.social
musicians.today
tuiter.rocks
babka.social
libretooth.gr
mastodon.energy
vkl.world
frikiverse.zone
dmv.community
drupal.community
gamepad.club
social.seattle.wa.us
masto.nobigtech.es
muri.network
mast.hpc.social
fulda.social
donphan.social
tyrol.social
toot.si
tchafia.be
social.politicaconciencia.org
lou.lt
bzh.social
qaf.men
social.silicon.moe
puntarella.party
is.nota.live
mograph.social
hometech.social
norcal.social
toot.funami.tech
wargamers.social
lsbt.me
theatl.social
mastodon.africa
datasci.social
drumstodon.net
opencoaster.net
toot.re
est.social
genealysis.social
hispagatos.space
epicure.social
burma.social
elekk.xyz
leipzig.town
mastodon.london
mstdn.animexx.de
indieauthors.social
friendsofdesoto.social
toot.garden
planetearth.social
mastodon.vlaanderen
kurry.social
mastodon.education
mastodon.pirateparty.be
apobangpo.space
mastodon.cr
lewacki.space
esq.social
colorid.es
mastodon.wien
hoosier.social
frontrange.co
fairmove.net
toots.nu
techtoots.com
opalstack.social
mastodon.bot
ruhrpott.social
fribygda.no
library.love
raphus.social
mastodon-swiss.org
paktodon.asia
mastodon.sg
rheinhessen.social
rail.chat
h-net.social
seocommunity.social
poweredbygay.social
devianze.city
cwb.social
camp.smolnet.org
mastodon.free-solutions.org
arvr.social
stereodon.social
bologna.one
masto.yttrx.com
episcodon.net
elizur.me
birdon.social
okla.social
khiar.net
growers.social
biplus.social
k8s.social
mastodon.babb.no
squawk.mytransponder.com
mastodon.hosnet.fr
epsilon.social
skastodon.com
mastodon.frl
social.diva.exchange
mastodon.bachgau.social
lounge.town
ailbhean.co-shaoghal.net
balkan.fedive.rs
cville.online
mastodon.iow.social
silversword.online
mastodon.ph
synapse.cafe
kcmo.social
kzoo.to
nfld.me
23.illuminati.org
mcr.wtf
voi.social
social.ferrocarril.net
mastodon.bahia.no
mastodon.mg
dariox.club
darticulate.com
fpl.social
nautical.social
mastodon.ee
nomanssky.social
nwb.social
social.sndevs.com
polsci.social
ms.maritime.social
troet.fediverse.at
bvb.social
kjas.no
mikumikudance.cloud
nutmeg.social
netsphere.one
ceilidh.online
wxw.moe
computerfairi.es
learningdisability.social
Log In
Philip Zucker
[New Blog Post] Calling Lean Functions As Python Functions
https://www.
philipzucker.com/leancall/
#lean4
#python
Calling Lean Functions As Python Functions
I think Lean is neat.
Hey There Buddo!
0
1
2
Philip Zucker