User talk:TimToady: Difference between revisions

→‎IBAN: new section
(→‎IBAN: new section)
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)
 
== [[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)
1,934

edits