Toot

Written by C.B. Aberlé on 2024-12-31 at 18:10

Let’s end this year with a bang! I’m very pleased to announce something that’s been a long time in the works, but that I think is finally in a fit state to give a soft launch – Synthetic Agda: https://hyrax.cbaberle.com/Hyrax/Prelude/synthetic-agda.lagda

(Tagging people who I think might be interested: @jonmsterling @jcreed @carloangiuli @buchholtz @boarders @danielgratzer @ecavallo @andrejbauer @anuytstt @totbwf @amy @ncf @jesper @chrisamaphone @MartinEscardo @jonasfrey @DavidJaz )

=> More informations about this toot | View the thread | More toots from cbaberle@mathstodon.xyz

Mentions

=> View jonmsterling@mathstodon.xyz profile | View jcreed@mastodon.social profile | View carloangiuli@mathstodon.xyz profile | View buchholtz@mathstodon.xyz profile | View boarders@mathstodon.xyz profile | View danielgratzer@mathstodon.xyz profile | View ecavallo@mathstodon.xyz profile | View andrejbauer@mathstodon.xyz profile | View anuytstt@fosstodon.org profile | View totbwf@types.pl profile | View amy@types.pl profile | View ncf@types.pl profile | View jesper@agda.club profile | View chrisamaphone@hci.social profile | View MartinEscardo@mathstodon.xyz profile | View jonasfrey@mathstodon.xyz profile | View DavidJaz@mathstodon.xyz profile

Tags