I was using some library by Arthur CharguΓ©raud I think, which was generating some boilerplate lemmas, if I remember correctly.
02.12.2024 04:33 β π 1 π 0 π¬ 0 π 0
The POPLmark Challenge
There was www.seas.upenn.edu/~plclub/popl... trying to settle that question for a while. I remember finding locally nameless nicer to work with than DB indices in coq.
01.12.2024 13:34 β π 2 π 1 π¬ 1 π 0
At Well-Typed, we are currently looking for a new #Haskell developer (possibly more) to join our team: well-typed.com/blog/2024/04...
09.04.2024 16:56 β π 2 π 1 π¬ 0 π 0
Sometime verb, real person, lover of 8-bit computers, husband & father, trying to be a kind person. #blacklivesmatter; trans rights are human rights.
he/him
Multi-classed Software Engineer/Constructive Mathematician. Sometimes plays video games sort of fast. Puts topoi in your computer.
host and founder, Post Games
co-host, The Besties
https://www.patreon.com/c/PostGames
https://postgame.substack.com/
https://podcasts.apple.com/us/podcast/post-games/id1815131711
Signal: plante.01
now: partnerships @ kinda funny & the besties podcast - previously: co-founder of polygon
I make music and podcasts. Host of Strong Songs πΆ and Triple Click πΎ
strongsongspodcast.com
tripleclickpodcast.com
KirksNotes.com
Profile pic: Alicia J. Rose
Posting the worst medical takes. Have a submission? DM or @ me. #MedSky https://ko-fi.com/badmedicaltakes
Committed to a welcoming, vibrant & ο¬ourishing #Haskell community!
Here we talk about community updates, software engineering and the joy of programming.
Find us on https://haskell.org and https://blog.haskell.org
writes Haskell mostly | loves public transport | studied philosophy | π΄ | mid 20s | they/them
Hi! I'm Amit Patel. I explain algorithms and math with interactive web pages (incl. pathfinding, hexagons, procgen maps, voronoi). Wrote Solar Realms Elite; helped w/Barren Realms Elite and Realm of the Mad God. https://www.redblobgames.com/
Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
Author of haskellforall.com, dhall-lang.org and @trygrace.dev, professional doggirl and endurance hunter
I'm a midwife to the hidden beauty in everything
she/her π³οΈββ§οΈ
https://linktr.ee/gabriella439
π @ember.pet
FP and Programming languages nerd
Building the Unison Language & Unison Share
πVictoria BC π¨π¦
https://chrispenner.ca
Thereβs no sense crying over every mistake. You just keep on trying βtil you run out of cake
- GLaDOS
https://welltypedwit.ch
Socially leftist, fiscal liberal.
Professional OCaml enjoyer.
Views expressed therein are also those of your employer.
