TFPiE 2026, Call for Submissions
Mart Lubbers <[email protected]> Mon, 15 Dec 2025 08:47:03 -0600
| Newsgroups | gmane.comp.lang.haskell.general |
|---|---|
| Message-ID | <CAGtcRvDNsytEopGs66iqDY-e2gJDLsAVh6mk9eNYNVyZHLiGaA@mail.gmail.com> |
VEZQSUUgMjAyNiBDYWxsIGZvciBwYXBlcnMNCmh0dHBzOi8vd2lraS50ZnBpZS5zY2llbmNlLnJ1 Lm5sL1RGUElFMjAyNg0KKEphbnVhcnkgMjZ0aCAyMDI2LCBPZGVuc2UsIERlbm1hcmssIGNvLWxv Y2F0ZWQgd2l0aCBURlAgMjAyNiBhdA0KVW5pdmVyc2l0eSBvZiBTb3V0aGVybiBEZW5tYXJrKQ0K DQpURlBJRSAyMDI2IHdlbGNvbWVzIHN1Ym1pc3Npb25zIGRlc2NyaWJpbmcgdGVjaG5pcXVlcyB1 c2VkIGluIHRoZQ0KY2xhc3Nyb29tLCB0b29scyB1c2VkIGluIGFuZC9vciBkZXZlbG9wZWQgZm9y IHRoZSBjbGFzc3Jvb20gYW5kIGFueQ0KY3JlYXRpdmUgdXNlIG9mIGZ1bmN0aW9uYWwgcHJvZ3Jh bW1pbmcgKEZQKSB0byBhaWQgZWR1Y2F0aW9uIGluIG9yDQpvdXRzaWRlIENvbXB1dGVyIFNjaWVu Y2UuICBUb3BpY3Mgb2YgaW50ZXJlc3QgaW5jbHVkZSwgYnV0IGFyZSBub3QNCmxpbWl0ZWQgdG86 DQoNCi0gIEZQIGFuZCBiZWdpbm5pbmcgQ1Mgc3R1ZGVudHMNCi0gIEZQIGFuZCBDb21wdXRhdGlv bmFsIFRoaW5raW5nDQotICBGUCBhbmQgQXJ0aWZpY2lhbCBJbnRlbGxpZ2VuY2UNCi0gIEZQIGlu IFJvYm90aWNzDQotICBGUCBhbmQgTXVzaWMNCi0gIEFkdmFuY2VkIEZQIGZvciB1bmRlcmdyYWR1 YXRlcw0KLSAgRlAgaW4gZ3JhZHVhdGUgZWR1Y2F0aW9uDQotICBFbmdhZ2luZyBzdHVkZW50cyBp biByZXNlYXJjaCB1c2luZyBGUA0KLSAgRlAgaW4gUHJvZ3JhbW1pbmcgTGFuZ3VhZ2VzDQotICBG UCBpbiB0aGUgaGlnaCBzY2hvb2wgY3VycmljdWx1bQ0KLSAgRlAgYXMgYSBzdGVwcGluZyBzdG9u ZSB0byBvdGhlciBDUyB0b3BpY3MNCi0gIEZQIGFuZCBQaGlsb3NvcGh5DQotICBUaGUgcGVkYWdv Z3kgb2YgdGVhY2hpbmcgRlANCi0gIEZQIGFuZCBlLWxlYXJuaW5nOiBNT09DcywgYXV0b21hdGVk IGFzc2Vzc21lbnQgZXRjLg0KLSAgQmVzdCBMZWN0dXJlcyAtIG1vcmUgZGV0YWlscyBiZWxvdw0K DQpJbiBhZGRpdGlvbiB0byBwYXBlcnMsIHdlIGFyZSByZXF1ZXN0aW5nIGJlc3QgbGVjdHVyZSBw cmVzZW50YXRpb25zLg0KV2hhdCdzIHlvdXIgYmVzdCBsZWN0dXJlIHRvcGljIGluIGFuIEZQIHJl bGF0ZWQgY291cnNlPyBEbyB5b3UgaGF2ZSBhDQpmdW4gd2F5IHRvIHByZXNlbnQgRlAgY29uY2Vw dHMgdG8gbm92aWNlcyBvciBwZXJoYXBzIGFuIGVzcGVjaWFsbHkNCmludGVyZXN0aW5nIHByZXNl bnRhdGlvbiBvZiBhIGRpZmZpY3VsdCB0b3BpYz8gSW4gZWl0aGVyIGNhc2UsIHBsZWFzZQ0KY29u c2lkZXIgc2hhcmluZyBpdC4gQmVzdCBsZWN0dXJlIHRvcGljcyB3aWxsIGJlIHNlbGVjdGVkIGZv cg0KcHJlc2VudGF0aW9uIGJhc2VkIG9uIGEgc2hvcnQgYWJzdHJhY3QgZGVzY3JpYmluZyB0aGUg bGVjdHVyZSBhbmQgaXRzDQppbnRlcmVzdCB0byBURlBJRSBhdHRlbmRlZXMuIFRoZSBsZW5ndGgg b2YgdGhlIHByZXNlbnRhdGlvbiBzaG91bGQgYmUNCmNvbXBhcmFibGUgdG8gdGhhdCBvZiBhIHBh cGVyLiBJbiBhZGRpdGlvbiwgdGhlIHNwZWFrZXIgY2FuIHByb3ZpZGUNCmNvbW1lbnRhcnkgb24g ZWZmZWN0aXZlbmVzcyBvciBzdHVkZW50IGZlZWRiYWNrLg0KDQojIyBTdWJtaXNzaW9ucw0KDQpQ b3RlbnRpYWwgcHJlc2VudGVycyBhcmUgaW52aXRlZCB0byBzdWJtaXQgYW4gZXh0ZW5kZWQgYWJz dHJhY3QgKDQtNg0KcGFnZXMpIG9yIGEgZHJhZnQgcGFwZXIgKHVwIHRvIDIwIHBhZ2VzKSBpbiBF UFRDUyBzdHlsZS4gVGhlIGF1dGhvcnMNCm9mIGFjY2VwdGVkIHByZXNlbnRhdGlvbnMgd2lsbCBo YXZlIHRoZWlyIHByZXByaW50cyBhbmQgdGhlaXIgc2xpZGVzDQptYWRlIGF2YWlsYWJsZSBvbiB0 aGUgd29ya3Nob3AncyB3ZWJzaXRlLg0KDQpQYXBlcnMgYW5kIGFic3RyYWN0cyBjYW4gYmUgc3Vi bWl0dGVkIHZpYSBlYXN5Y2hhaXIgYXQgdGhlIGZvbGxvd2luZyBsaW5rOg0KDQpodHRwczovL2Vh c3ljaGFpci5vcmcvbXkvY29uZmVyZW5jZT9jb25mPXRmcGllMjYNCg0KQWZ0ZXIgdGhlIHdvcmtz aG9wLCBwcmVzZW50ZXJzIGFyZSBpbnZpdGVkIHRvIHN1Ym1pdCAoYSByZXZpc2VkDQp2ZXJzaW9u IG9mKSB0aGVpciBhcnRpY2xlIGZvciB0aGUgZm9ybWFsIHJldmlldy4gVGhlIFBDIHdpbGwgc2Vs ZWN0DQp0aGUgYmVzdCBhcnRpY2xlcyBmb3IgcHVibGljYXRpb24gaW4gdGhlIEVsZWN0cm9uaWMg UHJvY2VlZGluZ3MgaW4NClRoZW9yZXRpY2FsIENvbXB1dGVyIFNjaWVuY2UgKEVQVENTKS4gQXJ0 aWNsZXMgcmVqZWN0ZWQgZm9yDQpwcmVzZW50YXRpb24gYW5kIGV4dGVuZGVkIGFic3RyYWN0cyB3 aWxsIG5vdCBiZSBmb3JtYWxseSByZXZpZXdlZCBieQ0KdGhlIFBDLg0KDQojIyBJbXBvcnRhbnQg RGF0ZXMNCg0KU3VibWlzc2lvbiBkZWFkbGluZTogRGVjZW1iZXIgMjZ0aCAyMDI1LCBBbnl3aGVy ZSBvbiBFYXJ0aA0KTm90aWZpY2F0aW9uOiBieSBEZWNlbWJlciAzMHRoIDIwMjUgKE5vdGU6IHN1 Ym1pc3Npb25zIHdpbGwgYmUNCmV2YWx1YXRlZCBvbiBhIHJvbGxpbmcgYmFzaXMsIHNvIGVhcmxp ZXIgc3VibWlzc2lvbnMgd2lsbCByZWNlaXZlIGFuDQplYXJsaWVyIHJlc3BvbnNlKQ0KVEZQSUUg UmVnaXN0cmF0aW9uIERlYWRsaW5lOiBUQkENCldvcmtzaG9wOiBKYW51YXJ5IDI2dGggMjAyNg0K U3VibWlzc2lvbiBmb3IgZm9ybWFsIHJldmlldzogQXByaWwgMjJuZCAyMDI2LCBBbnl3aGVyZSBv biBFYXJ0aA0KTm90aWZpY2F0aW9uIG9mIGZ1bGwgYXJ0aWNsZTogTWF5IDI3dGggMjAyNg0KQ2Ft ZXJhIHJlYWR5OiBKdW5lIDI0dGggMjAyNg0KDQojIyBQcm9ncmFtIENvbW1pdHRlZQ0KDQogTWFy dCBMdWJiZXJzLCBSYWRib3VkIFVuaXZlcnNpdHksIE5pam1lZ2VuLCBOZXRoZXJsYW5kcyAoUEMg Q2hhaXIpDQpUaW0gU3RlZW52b29yZGVuLCBPcGVuIFVuaXZlcnNpdGVpdCwgSGVlcmxlbiwgTmV0 aGVybGFuZHMNCk1hcmNvIFQuIE1vcmF6w6FuLCBTZXRvbiBIYWxsIFVuaXZlcnNpdHksIFNvdXRo IE9yYW5nZSwgTkosIFVTQQ0KR3Vhbm5hbiBXZWksIFR1ZnRzIFVuaXZlcnNpdHksIE1lZGZvcmQs IE1BLCBVU0ENCk1hcmNvcyBWaWVyYSwgVW5pdmVyc2lkYWQgZGUgbGEgUmVww7pibGljYSwgTW9u dGV2aWRlbywgVXJ1Z3VheQ0KSm9oYW5uZXMgw4VtYW4gUG9oam9sYSwgQ2hhbG1lcnMgVW5pdmVy c2l0eSBvZiBUZWNobm9sb2d5LCBHb3RoZW5idXJnLCBTd2VkZW4NCg0KIyMgUmVnaXN0cmF0aW9u IGluZm9ybWF0aW9uDQoNClNlZSBodHRwczovL3dpa2kudGZwaWUuc2NpZW5jZS5ydS5ubC9URlBJ RTIwMjYgZm9yIHVwZGF0ZWQgaW5mb3JtYXRpb24NCmFuZCBzZWUgaHR0cHM6Ly90cmVuZHNmcC5n aXRodWIuaW8vIGZvciBpbmZvIG9uIHJlZ2lzdHJhdGlvbg0KDQpSZWdpc3RyYXRpb24gYW5kIGF0 dGVuZGFuY2UgYXJlIG1hbmRhdG9yeSBmb3IgYXQgbGVhc3Qgb25lIGF1dGhvciBvZg0KZXZlcnkg cGFwZXIgdGhhdCBpcyBwcmVzZW50ZWQgYXQgdGhlIHdvcmtzaG9wLg0KDQpPbmx5IHBhcGVycyB0 aGF0IGhhdmUgYmVlbiBwcmVzZW50ZWQgYXQgVEZQSUUgbWF5IGJlIHN1Ym1pdHRlZCB0byB0aGUN CnBvc3QtcmV2aWV3aW5nIHByb2Nlc3MuDQpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fXwpIYXNrZWxsIG1haWxpbmcgbGlzdCAtLSBoYXNrZWxsQGhhc2tlbGwu b3JnClRvIHVuc3Vic2NyaWJlIHNlbmQgYW4gZW1haWwgdG8gaGFza2VsbC1sZWF2ZUBoYXNrZWxs Lm9yZwo=