Hacker Newsnew | past | comments | ask | show | jobs | submit | fromlogin
Introduction to Coinduction in Agda Part 1: Coinductive Programming (jesper.cx)
1 point by matt_d 11 days ago | past | discuss
1001 Representations of Syntax with Binding (2021) (jesper.cx)
43 points by aebtebeten on May 19, 2024 | past | 17 comments
Agda Core: The Dream and the Reality (jesper.cx)
3 points by thunderbong on May 19, 2024 | past
1001 Representations of Syntax with Binding (comparison table) (2021) (jesper.cx)
2 points by todsacerdoti on May 14, 2024 | past
Agda Core: The Dream and the Reality (jesper.cx)
1 point by matt_d on May 12, 2024 | past
Reasons in favor of a core language, and 5 against (jesper.cx)
2 points by todsacerdoti on Feb 16, 2024 | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: