Enter the RSS feed of any podcast:
Showing stats for

Iowa Type Theory Commute

Weekly DynamoMonthly MilestoneComeback KidNumbered NarrativeCentury Club100Half-Decade Hero5
175episodes
12 minavg. duration
2.6episodes per month
8.9 MBavg. size
Show 3D

Calendar

20256
MTWTFSS
20247
MTWTFSS
202316
MTWTFSS
202218
MTWTFSS
202138
MTWTFSS
202055
MTWTFSS
201915
MTWTFSS

Day of the week

Mon32 episodesTue28 episodesWed35 episodesThu18 episodesFri31 episodesSat15 episodesSun16 episodes

Month

Jan28 episodesFeb21 episodesMar19 episodesApr9 episodesMay12 episodesJun10 episodesJul12 episodesAug4 episodesSep15 episodesOct7 episodesNov15 episodesDec23 episodes

Seasons

Not available

Title word cloud

abstractagdaalgorithmarithmeticaxiomsbadbasedbasicbasicsbeginbetacalculuscategorychaptercheckedcheckingchurchclassicalcodecomputerconciseconfluencecoqcurrycutdatatypedatatypesdcsdecomposingdeductiondefinitiondependentdesigndevelopmentseliminationencodingencodingsexamplesexplainingfinitefirstformalfreefunctionalfunctorsgadtshaskellhoasholhowardideaidentityiiimplicationindexedinferenceintersectionintroducingintroductionisabelleisomorphismlambdalampinglastleanletlinearlogiclogicallookmanagementmemorymendlermetamathmethodsmichelsonmodelsmodulemodulesnaturalnormalizationobservationaloptimalorderordinalpaperparametricparigotpointpoplmarkproblemprogrammingprogramsproofproofsproversprovingrecursionreductionrelationalrelationsreloadedrelttrepresentationrulessafetyseasonsemanticsseparationsimplesimplysoftwarestandardstartstlcstructuralstylesubtypessubtypingsystemsystemstalkterminationtermstheoremtheoretictheoriestypedtypestypingunionsuntypedusingworld

Authors

100%Aaron Stump

Types

96%Full

Explicit

99.4%Clean0.6%Explicit

Audio size

60.7%5 MB34.5%10 MB4.8%15 MB

Audio quality

100%96 Kbps

Audio type

100%MPEG

Hosting

100%Buzzsprout

Prefixes

Not available

Podcasting 2.0 features

alternateEnclosureblockchapterscontentLinkepisodefollowfundingguidimagesintegritylicenseliveItemlocationlockedmediumpersonpodpingpodrollremoteItemseasonsocialInteractsoundbitesourcetrailertranscripttxtupdateFrequencyvaluevalueRecipientvalueTimeSplit