[Agda] An exercise in typing
Roman
effectfully at gmail.com
Sun Jun 12 20:44:34 CEST 2022
Previous message (by thread):
[Agda] An exercise in typing
Next message (by thread):
[Agda] An exercise in typing
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
Hi Jason. the body is the real challenge, `RecN` is a warm-up :)
Previous message (by thread):
[Agda] An exercise in typing
Next message (by thread):
[Agda] An exercise in typing
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the Agda mailing list