User talk:TimToady: Difference between revisions

Content added Content deleted
(→‎IBAN: new section)
Line 45: Line 45:


Hi Tim. It might be that my brain is busted tonight, but I am not getting that coercive/generic stuff. Could you provide an example of each? Don't worry if not, I will keep searching. Cheers, Mark. [[User:Markhobley|Markhobley]] 22:57, 23 February 2013 (UTC)
Hi Tim. It might be that my brain is busted tonight, but I am not getting that coercive/generic stuff. Could you provide an example of each? Don't worry if not, I will keep searching. Cheers, Mark. [[User:Markhobley|Markhobley]] 22:57, 23 February 2013 (UTC)

== [[IBAN]] ==

Hello,

I've seen your change on [[IBAN]] and I wondered if it was possible to define it as a SubSet of Str. I don't know much about SubSet but I thought it might be a nice use-case, as a IBAN could be entered as a string literal and be considered as an IBAN kind of automatically.--[[User:Grondilu|Grondilu]] ([[User talk:Grondilu|talk]]) 00:13, 19 April 2013 (UTC)