j
k
j a
j l
On 1/12/11 5:05 AM, Ketil Malde wrote:
Of course, ideally you should design your types so that all possible values are meaningful:-)
Sadly we cannot all program in Agda. :-) Cheers, Greg
Back to the thread
Back to the list
