from Hacker News

Introduction to Synthetic Agda

by Smaug123 on 12/31/24, 8:44 PM with 0 comments