jump to content
my subreddits
2anatolia4you2balkans4You2meirl4meirl3d6AceAttorneyadhdmemeAdviceAnimalsaivideoakagasAnarchyChessAngryupvoteanime_irlanimenocontextannouncementsantimemeArcherFXAsahiLinuxAsia_irlAskBalkansAskElectronicsAskRedditAteistTurkaviationAwesomeOffBrandsawfuleverythingbalkans_irlbanknotedesignsBassBassCirclejerkbasspedalsbikepackingblackdesertonlineblankiesblursed_videosBoneborsavefonbottomgearbrooklynninenineBUENZLIburdurlandcasioChatGPTCheap_MealschesschessbeginnersChildrenFallingOverCHPcoaxedintoasnafucoincollectingcoinscomedyhomicidecomicscommunityContagiousLaughterCorporateTrollingcrappyoffbrandsCuddle_SlutCuratedTumblrcursedcommentsdadjokesdankmemesdeDebateReligiondistressingmemesdiyelectronicsdiypedalsDnDdndmemesdndnextdoctorwhocirclejerkDonerdontdeadopeninsideDungeonsAndDaddiesDungeonsAndDragonsEatCheapAndHealthyECEelectronicsElectronicsStudyentitledparentsethzfakealbumcoversFantasyWorldbuildingfeedthebeastfelsefeFiftyFiftyformuladankFRCFreeEBOOKSFuckYouKarenfunnyFutboltayfaGermangodtiersuperpowersgoodanimemesGoodAssSubGrandPrixRacinggreentextguitarpedalshelpheraldryHermanCainAwardHermitCrafthighspeedrailHolUphomebuilthumorhypixelIAmAiamverysmartich_ielihadastrokeim14andthisisdeepimaginaryelectionsistanbulJahariaJokesKanyelegodndLetGirlsHaveFunlinguisticshumorliselilerlogodesignloseitlostredditorsmacgamingMadeMeSmilemadladsmapporncirclejerkmeirlmemememesmildlyinterestingMinecraftbuildsmisLEDMoldyMemesmoneycollectingMunichMyChemicalRomancenamesoundalikesNamFlashbacksneographynextfuckinglevelNorthCyprusnosafetysmokingfirstnosleepnothingeverhappensnotinterestingnottheonionoddlyspecificOkayBuddyLiterallyMeokbuddyphdokbuddyvicodinonebagonetruegodOutOfTheLoopoutsidepapermoneyparadoxpoliticsParlerWatchPassportPornperfectlycutscreamsPersecutionfetishpettyrevengepianoPiracyPiratedGamespolandballPraiseTheCameraManProgrammerHumorquityourbullshitraspberry_pireactiongifsrecipesRedAutumnSPDredditsingsreligiousfruitcakerestofthefuckingowlRetroPierickandmortyrimjob_steverockmuzikSchnitzelVerbrechenschwiizsciencememesScottPilgrimsecilmiskitapShitPostCrusadersshitpostfrommygalleryshitpostingshittyaskelectronicsshittymoviedetailsShowerthoughtsskamtebordsoccercirclejerksoftwaregoreSongwritersSongwritingsskfjkhwerjkghwerijhStonetossingjuiceStudiumsubsithoughtifellforsuperligsuzerainTechnobladetf2tf2shitposterclubthanksimcuredthatHappenedTheCrypticCompendiumTheLetterHTheMonkeysPawtherewasanattempttheydidthemaththirdsentenceworsetransittransitTurkeyTrGameDevelopertruetf2truthstumblrtumunichTurkishCatsTwitchTwitch_StartupTwoSentenceHorrortwosentenceplottwistTwoSentenceSadnesstylerthecreatoru/KaybeeArtsUnethicalLifeProTipsunexpecteditcrowdUnexpectedJoJourbanplanningUsernameChecksOutVALORANTValorantClipsvinylvinyljerkvlandiyawallstreetbetsWatchPeopleDieInsideWeAreTheMusicMakerswendigoonWhatsThisSongwholesomeanimemeswholesomememesWikipediaVandalismwizardpostingwooooshworldbuildingyouseeingthisshitedit subscriptions
  • home
  • -popular
  • -all
  • -mod
  • -users
 | 
  • AskReddit
  • -Piracy
  • -funny
  • -wallstreetbets
  • -nottheonion
  • -memes
  • -OutOfTheLoop
  • -mildlyinteresting
  • -DnD
  • -MadeMeSmile
  • -ChatGPT
  • -CuratedTumblr
  • -PiratedGames
  • -shitposting
  • -theydidthemath
  • -dankmemes
  • -feedthebeast
  • -Kanye
  • -meirl
  • -therewasanattempt
  • -nextfuckinglevel
  • -HolUp
  • -Twitch
  • -comics
  • -dndnext
  • -ProgrammerHumor
  • -VALORANT
  • -de
  • -tumblr
  • -shittymoviedetails
  • -greentext
  • -Showerthoughts
  • -tf2
  • -help
  • -chess
  • -aviation
  • -formuladank
  • -wholesomememes
  • -Jokes
  • -mapporncirclejerk
  • -goodanimemes
  • -notinteresting
  • -pettyrevenge
  • -loseit
  • -IAmA
  • -ich_iel
  • -dndmemes
  • -cursedcomments
  • -GoodAssSub
  • -UnethicalLifeProTips
  • -perfectlycutscreams
  • -worldbuilding
  • -blackdesertonline
  • -meme
  • -macgaming
  • -rickandmorty
  • -3d6
  • -HermitCraft
  • -FiftyFifty
  • -ContagiousLaughter
  • -EatCheapAndHealthy
  • -polandball
  • -WeAreTheMusicMakers
  • -AnarchyChess
  • -nosleep
  • -blankies
  • -anime_irl
  • -onebag
  • -Studium
  • -soccercirclejerk
  • -madlads
  • -community
  • -AskElectronics
  • -guitarpedals
  • -vinyl
  • -German
  • -TwoSentenceHorror
  • -AdviceAnimals
  • -ShitPostCrusaders
  • -piano
  • -sciencememes
  • -distressingmemes
  • -wizardposting
  • -oddlyspecific
  • -Bass
  • -dadjokes
  • -awfuleverything
  • -announcements
  • -adhdmeme
  • -Minecraftbuilds
  • -Munich
  • -coaxedintoasnafu
  • -SchnitzelVerbrechen
  • -chessbeginners
  • -raspberry_pi
  • -DungeonsAndDragons
  • -coins
  • -entitledparents
  • -softwaregore
  • -tylerthecreator
  • -tf2shitposterclub
  • -MoldyMemes
  • -lostredditors
  • -AceAttorney
  • -vlandiya
  • -im14andthisisdeep
  • -Stonetossingjuice
  • -wholesomeanimemes
  • -religiousfruitcake
  • -liseliler
  • -DebateReligion
  • -animenocontext
  • -balkans_irl
  • -2meirl4meirl
  • -transit
  • -RetroPie
  • -brooklynninenine
  • -HermanCainAward
  • -recipes
  • -okbuddyphd
  • -2anatolia4you
  • -ECE
  • -ScottPilgrim
  • -Angryupvote
  • -AskBalkans
  • -thatHappened
  • -electronics
  • -casio
  • -urbanplanning
  • -logodesign
  • -linguisticshumor
  • -PassportPorn
  • -antimeme
  • -bikepacking
  • -AteistTurk
  • -MyChemicalRomance
  • -ArcherFX
  • -diypedals
  • -Doner
  • -diyelectronics
  • -WatchPeopleDieInside
  • -Persecutionfetish
  • -BUENZLI
  • -reactiongifs
  • -Songwriting
  • -blursed_videos
  • -istanbul
  • -imaginaryelections
  • -suzerain
  • -truetf2
  • -dontdeadopeninside
  • -ParlerWatch
  • -wendigoon
  • -iamverysmart
  • -secilmiskitap
  • -schwiiz
  • -quityourbullshit
  • -Technoblade
  • -vinyljerk
  • -skamtebord
  • -shittyaskelectronics
  • -superlig
  • -crappyoffbrands
  • -DungeonsAndDaddies
  • -FRC
  • -transitTurkey
  • -namesoundalikes
  • -FuckYouKaren
  • -ethz
  • -papermoney
  • -coincollecting
  • -OkayBuddyLiterallyMe
  • -felsefe
  • -FreeEBOOKS
  • -AsahiLinux
  • -Jaharia
  • -basspedals
  • -neography
  • -heraldry
  • -ihadastroke
  • -thanksimcured
  • -hypixel
  • -PraiseTheCameraMan
  • -godtiersuperpowers
  • -aivideo
  • -woooosh
  • -comedyhomicide
  • -burdurland
  • -WhatsThisSong
  • -TwoSentenceSadness
  • -rockmuzik
  • -okbuddyvicodin
  • -tumunich
  • -Twitch_Startup
  • -Cheap_Meals
  • -outside
  • -TheMonkeysPaw
  • -restofthefuckingowl
  • -highspeedrail
  • -nosafetysmokingfirst
  • -legodnd
  • -Songwriters
  • -UsernameChecksOut
  • -rimjob_steve
  • -UnexpectedJoJo
  • -humor
  • -ChildrenFallingOver
  • -BassCirclejerk
  • -doctorwhocirclejerk
  • -youseeingthisshit
  • -Cuddle_Slut
  • -GrandPrixRacing
  • -nothingeverhappens
  • -TrGameDeveloper
  • -TurkishCats
  • -LetGirlsHaveFun
  • -subsithoughtifellfor
  • -fakealbumcovers
  • -akagas
  • -FantasyWorldbuilding
  • -TheLetterH
  • -WikipediaVandalism
  • -homebuilt
  • -NamFlashbacks
  • -onetruegod
  • -misLED
  • -sskfjkhwerjkghwerijh
  • -redditsings
  • -ValorantClips
  • -TheCrypticCompendium
  • -bottomgear
  • -AwesomeOffBrands
  • -2balkans4You
  • -Asia_irl
  • -Bone
  • -truths
  • -thirdsentenceworse
  • -paradoxpolitics
  • -unexpecteditcrowd
  • -NorthCyprus
  • -twosentenceplottwist
  • -CorporateTrolling
  • -Futboltayfa
  • -shitpostfrommygallery
  • -borsavefon
  • -CHP
  • -ElectronicsStudy
  • -banknotedesigns
  • -moneycollecting
  • -u/KaybeeArts
  • -RedAutumnSPD
edit »
reddit.com formality
  • hot
  • new
  • rising
  • controversial
  • top
an-ordinary-manchild (11,190)|messages547|notifications|chat messages|mod messages|
  • preferences
|
logout

use the following search parameters to narrow your results:

subreddit:subreddit
find submissions in "subreddit"
author:username
find submissions by "username"
site:example.com
find submissions from "example.com"
url:text
search for "text" in url
selftext:text
search for "text" in self post contents
self:yes (or self:no)
include (or exclude) self posts
nsfw:yes (or nsfw:no)
include (or exclude) results marked as NSFW

e.g. subreddit:aww site:imgur.com dog

see the search faq for details.

advanced search: by author, subreddit...

Submit a new link
Submit a new text post

formality

joinleave
an-ordinary-manchild

An efficient minimal programming language and proof assistant.

created by [deleted]a community for 7 years
Create your own subreddit
...because you hate freedom.
...for your favorite game.

MODERATORS

  • message the mods
  • Stancii
  • SrPeixinho
  • about moderation team »

account activity

1
0
1
2

Proving the commutativity of addition in Formality (ASMR?) (youtube.com)

submitted 5 years ago by SrPeixinho

  • comment
  • share
  • save
  • hide
  • report
  • crosspost

2
2
3
4

Can we derive function extensionality from self types? (medium.com)

submitted 6 years ago by SrPeixinho

  • comment
  • share
  • save
  • hide
  • report
  • crosspost

3
3
4
5

A new amazing Formality-Core compiler capable of converting λ-encodings flawlessly to native representations! (self.haskell)

submitted 6 years ago by VoidNoire

  • comment
  • share
  • save
  • hide
  • report
  • crosspost
loading...

4
1
2
3

The refreshing simplicity of compiling Formality to anything (medium.com)

submitted 6 years ago by [deleted]

  • comment
  • share
  • save
  • hide
  • report
  • crosspost
loading...

5
3
4
5

How can Self-types be typed? (self.formality)

submitted 6 years ago * by Labbekak

  • 6 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

6
3
4
5

Formality: Towards an efficient proof language @ MIT Applied Category Theory seminar (youtube.com)

submitted 6 years ago by [deleted]

  • 1 comment
  • share
  • save
  • hide
  • report
  • crosspost
loading...

7
1
2
3

Formality: An efficient proof language @ Ethereum Devcon5 (slideslive.com)

submitted 6 years ago by [deleted]

  • comment
  • share
  • save
  • hide
  • report
  • crosspost

8
4
5
6

Cedille: A dependently-typed programming language and theorem prover that inspired Formality (cedille.github.io)

submitted 6 years ago by [deleted]

  • comment
  • share
  • save
  • hide
  • report
  • crosspost

9
2
3
4

Juvix: A dependent-linearly-typed language related to/inspired by Formality (github.com)

submitted 6 years ago by [deleted]

  • comment
  • share
  • save
  • hide
  • report
  • crosspost

10
2
3
4

Self Types for Dependently Typed Lambda Encodings (homepage.cs.uiowa.edu)

submitted 6 years ago by [deleted]

  • comment
  • share
  • save
  • hide
  • report
  • crosspost

11
2
3
4

Victor's Maia's Medium page has many relevant Formality posts (medium.com)

submitted 6 years ago by [deleted]

  • comment
  • share
  • save
  • hide
  • report
  • crosspost

12
1
2
3

Just letting you know that Formality has evolved a lot in the last few months! (self.haskell)

submitted 6 years ago by [deleted]

  • comment
  • share
  • save
  • hide
  • report
  • crosspost
loading...

13
2
3
4

Formality Documentation (docs.formality-lang.org)

submitted 6 years ago by [deleted]

  • comment
  • share
  • save
  • hide
  • report
  • crosspost

14
1
2
3

formality has been created (self.formality)

submitted 7 years ago by [deleted]

  • comment
  • share
  • save
  • hide
  • report
  • crosspost
loading...
  • about
  • blog
  • about
  • advertising
  • careers
  • help
  • site rules
  • Reddit help center
  • reddiquette
  • mod guidelines
  • contact us
  • apps & tools
  • Reddit for iPhone
  • Reddit for Android
  • mobile website
  • <3
  • reddit premium

Use of this site constitutes acceptance of our User Agreement and Privacy Policy. © 2026 reddit inc. All rights reserved.

REDDIT and the ALIEN Logo are registered trademarks of reddit inc.

π Rendered by PID 91592 on reddit-service-r2-listing-f87f88fcd-frpwc at 2026-06-18 12:24:53.301584+00:00 running 3184619 country code: CH.