@objetsinfernaux.bsky.social
Reposted
C should have dependent types to help developers coming from Agda
April 16, 2025 at 2:00 AM
C should have dependent types to help developers coming from Agda