[Agda] An exercise in typing
Roman
effectfully at gmail.com
Mon Jun 13 16:57:17 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 ]
Ah, right, your original version is more expressive indeed. Thanks!
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