IFL 2025, deadline extension
Mart Lubbers <[email protected]> Fri, 13 Jun 2025 09:25:41 -0500
| Newsgroups | gmane.comp.lang.haskell.general |
|---|---|
| Message-ID | <CAGtcRvC64LgRa4D6U-LDXQRyxrj9X0GmoiwmxVuWXXLS1ntAaQ@mail.gmail.com> |
PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09CiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgSUZMIDIwMjUKCjM3 dGggU3ltcG9zaXVtIG9uIEltcGxlbWVudGF0aW9uIGFuZCBBcHBsaWNhdGlvbiBvZiBGdW5jdGlv bmFsIExhbmd1YWdlcwoKCiAgICAgICAgICAgICAgICAgICAgICAgIE1vbnRldmlkZW8sIFVydWd1 YXkKICAgICAgICAgICAgICAgICAgICAgICAgT2N0b2JlciAxLTMsIDIwMjUKCiAgICAgICAgICAg ICAgICAgICAgICAgaHR0cHM6Ly93d3cuZmluZy5lZHUudXkvaW5jby9jb25ncmVzb3MvaWZsMjAy NQoKPT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09CiMjIyBTY29wZQoKVGhlIGdvYWwgb2YgdGhlIElGTCBzeW1wb3NpYSBp cyB0byBicmluZyB0b2dldGhlciByZXNlYXJjaGVycyBhY3RpdmVseQplbmdhZ2VkIGluIHRoZSBp bXBsZW1lbnRhdGlvbiBhbmQgYXBwbGljYXRpb24gb2YgZnVuY3Rpb25hbCBhbmQKZnVuY3Rpb24t YmFzZWQgcHJvZ3JhbW1pbmcgbGFuZ3VhZ2VzLiBJRkwgMjAyNSB3aWxsIGJlIGEgdmVudWUgZm9y CnJlc2VhcmNoZXJzIHRvIHByZXNlbnQgYW5kIGRpc2N1c3MgbmV3IGlkZWFzIGFuZCBjb25jZXB0 cywgd29yayBpbgpwcm9ncmVzcywgYW5kIHB1YmxpY2F0aW9uLXJpcGUgcmVzdWx0cyByZWxhdGVk IHRvIHRoZSBpbXBsZW1lbnRhdGlvbiBhbmQKYXBwbGljYXRpb24gb2YgZnVuY3Rpb25hbCBsYW5n dWFnZXMgYW5kIGZ1bmN0aW9uLWJhc2VkIHByb2dyYW1taW5nLgoKIyMjIFRvcGljcyBvZiBpbnRl cmVzdAoKVG9waWNzIG9mIGludGVyZXN0IHRvIElGTCBpbmNsdWRlLCBidXQgYXJlIG5vdCBsaW1p dGVkIHRvOgoKLSBsYW5ndWFnZSBjb25jZXB0cwotIHR5cGUgc3lzdGVtcywgdHlwZSBjaGVja2lu ZywgdHlwZSBpbmZlcmVuY2luZwotIGNvbXBpbGF0aW9uIHRlY2huaXF1ZXMKLSBzdGFnZWQgY29t cGlsYXRpb24KLSBydW4tdGltZSBmdW5jdGlvbiBzcGVjaWFsaXNhdGlvbgotIHJ1bi10aW1lIGNv ZGUgZ2VuZXJhdGlvbgotIHBhcnRpYWwgZXZhbHVhdGlvbgotIChhYnN0cmFjdCkgaW50ZXJwcmV0 YXRpb24KLSBtZXRhLXByb2dyYW1taW5nCi0gZ2VuZXJpYyBwcm9ncmFtbWluZwotIGF1dG9tYXRp YyBwcm9ncmFtIGdlbmVyYXRpb24KLSBhcnJheSBwcm9jZXNzaW5nCi0gY29uY3VycmVudC9wYXJh bGxlbCBwcm9ncmFtbWluZwotIGNvbmN1cnJlbnQvcGFyYWxsZWwgcHJvZ3JhbSBleGVjdXRpb24K LSBlbWJlZGRlZCBzeXN0ZW1zCi0gd2ViIGFwcGxpY2F0aW9ucwotIChlbWJlZGRlZCkgZG9tYWlu IHNwZWNpZmljIGxhbmd1YWdlcwotIHNlY3VyaXR5Ci0gbm92ZWwgbWVtb3J5IG1hbmFnZW1lbnQg dGVjaG5pcXVlcwotIHJ1bi10aW1lIHByb2ZpbGluZyBwZXJmb3JtYW5jZSBtZWFzdXJlbWVudHMK LSBkZWJ1Z2dpbmcgYW5kIHRyYWNpbmcKLSB2aXJ0dWFsL2Fic3RyYWN0IG1hY2hpbmUgYXJjaGl0 ZWN0dXJlcwotIHZhbGlkYXRpb24sIHZlcmlmaWNhdGlvbiBvZiBmdW5jdGlvbmFsIHByb2dyYW1z Ci0gdG9vbHMgYW5kIHByb2dyYW1taW5nIHRlY2huaXF1ZXMKCiMjIyBQZWVyLXJldmlldyBwcm9j ZXNzCgpEaWZmZXJlbnRseSBmcm9tIHByZXZpb3VzIGVkaXRpb25zIG9mIElGTCwgSUZMIDIwMjUg c29saWNpdHMgdHdvIGtpbmRzCm9mIHN1Ym1pc3Npb25zOgoKKiBSZWd1bGFyIHBhcGVycyAoMTIg cGFnZXMgZXhjbHVkaW5nIHJlZmVyZW5jZXMpCiogRHJhZnQgcGFwZXJzIGZvciBwcmVzZW50YXRp b25zICgnd2VhaycgbGltaXQgYmV0d2VlbiA4IGFuZCAxNSBwYWdlcykKClJlZ3VsYXIgcGFwZXJz IHdpbGwgdW5kZXJnbyBhIHJpZ29yb3VzIHJldmlldyBieSB0aGUgcHJvZ3JhbQpjb21taXR0ZWUs IGFuZCB3aWxsIGJlIGV2YWx1YXRlZCBhY2NvcmRpbmcgdG8gdGhlaXIgY29ycmVjdG5lc3MsCm5v dmVsdHksIG9yaWdpbmFsaXR5LCByZWxldmFuY2UsIHNpZ25pZmljYW5jZSwgYW5kIGNsYXJpdHku IFJlZ3VsYXIKcGFwZXJzIGNhbiBiZTogYWNjZXB0ZWQgZm9yIHB1YmxpY2F0aW9uIGluIHRoZSBm b3JtYWwgcHJvY2VlZGluZ3MsCmFjY2VwdGVkIGZvciBwcmVzZW50YXRpb24gYXQgdGhlIHN5bXBv c2l1bSBvciByZWplY3RlZC4KRHJhZnQgcGFwZXJzIHdpbGwgYmUgc2NyZWVuZWQgdG8gbWFrZSBz dXJlIHRoYXQgdGhleSBhcmUgd2l0aGluIHRoZQpzY29wZSBvZiBJRkwsIGFuZCB3aWxsIGJlIGFj Y2VwdGVkIGZvciBwcmVzZW50YXRpb24gb3IgcmVqZWN0ZWQKYWNjb3JkaW5nbHkuCldlIHJlcXVp cmUgdGhhdCBhdCBsZWFzdCBvbmUgb2YgdGhlIGF1dGhvcnMgcHJlc2VudCB0aGUgd29yayBhdCBJ RkwgMjAyNS4KQXV0aG9ycyBvZiBhY2NlcHRlZCBwcmVzZW50YXRpb25zIHdpbGwgYmUgZ2l2ZW4g dGhlIG9wcG9ydHVuaXR5IHRvCmluY29ycG9yYXRlIHRoZSBmZWVkYmFjayBmcm9tIGRpc2N1c3Np b25zIGF0IHRoZSBzeW1wb3NpdW0gYW5kIHdpbGwgYmUKaW52aXRlZCB0byBzdWJtaXQgYSByZXZp c2VkIGZ1bGwgYXJ0aWNsZSBmb3IgdGhlIGZvcm1hbApwb3N0LXByb2NlZWRpbmdzIGFmdGVyIHRo ZSBzeW1wb3NpdW0uIFRoZSBwcm9ncmFtIGNvbW1pdHRlZSB3aWxsCmV2YWx1YXRlIHRoZXNlIHN1 Ym1pc3Npb25zIGFjY29yZGluZyB0byB0aGVpciBjb3JyZWN0bmVzcywgbm92ZWx0eSwKb3JpZ2lu YWxpdHksIHJlbGV2YW5jZSwgc2lnbmlmaWNhbmNlLCBhbmQgY2xhcml0eSwgYW5kIHdpbGwgdGhl cmVieQpkZXRlcm1pbmUgd2hldGhlciB0aGUgcGFwZXIgaXMgYWNjZXB0ZWQgb3IgcmVqZWN0ZWQu CgojIyMgSW1wb3J0YW50IGRhdGVzCgpTdWJtaXNzaW9uIG9mIHJlZ3VsYXIgcGFwZXJzOiAgICAg ICAgICAgICAgICAgICAgICBKdW5lIDIzLCAyMDI1IChleHRlbmRlZCkKUmVndWxhciBwYXBlcnMg bm90aWZpY2F0aW9uOiAgICAgICAgICAgICAgICAgICAgICAgICAgQXVndXN0IDQsIDIwMjUKU3Vi bWlzc2lvbiBvZiBkcmFmdCBwYXBlcnM6ICAgICAgICAgICAgICAgICAgICAgICAgICBBdWd1c3Qg NCwgMjAyNQpEcmFmdCBwYXBlcnMgbm90aWZpY2F0aW9uOiAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICBBdWd1c3QgMTEsIDIwMjUKRGVhZGxpbmUgZm9yIGVhcmx5IHJlZ2lzdHJhdGlvbjog ICAgICAgICAgICAgICAgICAgICAgU2VwdGVtYmVyIDUsIDIwMjUKU3VibWlzc2lvbiBvZiBwcmUt cHJvY2VlZGluZ3MgdmVyc2lvbjogICAgICAgU2VwdGVtYmVyIDgsIDIwMjUKSUZMIFN5bXBvc2l1 bTogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIE9jdG9iZXIgMS0z LCAyMDI1ClN1Ym1pc3Npb24gb2YgcGFwZXJzIGZvciBwb3N0LXByb2NlZWRpbmdzOiBEZWNlbWJl ciAxNSwgMjAyNQpOb3RpZmljYXRpb24gb2YgYWNjZXB0YW5jZTogICAgICAgICAgICAgICAgICAg ICAgICAgICAgRmVicnVhcnkgMjgsIDIwMjYKQ2FtZXJhLXJlYWR5IHZlcnNpb246ICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgTWFyY2ggMzAsIDIwMjYKCkRlYWRsaW5lcyBhcmUgZW5k IG9mIGRheSBBbnl3aGVyZSBvbiBFYXJ0aCAoVVRDLTEyKQooaHR0cHM6Ly93d3cudGltZWFuZGRh dGUuY29tL3RpbWUvem9uZXMvYW9lKS4KCiMjIyBTdWJtaXNzaW9uIGRldGFpbHMKCkFsbCBjb250 cmlidXRpb25zIG11c3QgYmUgd3JpdHRlbiBpbiBFbmdsaXNoLiBQYXBlcnMgbXVzdCB1c2UgdGhl IEFDTQp0d28gY29sdW1ucyBjb25mZXJlbmNlIGZvcm1hdCwgd2hpY2ggY2FuIGJlIGZvdW5kIGF0 OgoKICAgIGh0dHA6Ly93d3cuYWNtLm9yZy9wdWJsaWNhdGlvbnMvcHJvY2VlZGluZ3MtdGVtcGxh dGUKClN1Ym1pdCB5b3VyIHBhcGVyIGhlcmU6CgogICAgaHR0cHM6Ly9lYXN5Y2hhaXIub3JnL2Nv bmZlcmVuY2VzLz9jb25mPWlmbDIwMjUKCkltcG9ydGFudCBub3RlIHRvIGF1dGhvcnMgYWJvdXQg dGhlIG5ldyBBQ00gb3BlbiBhY2Nlc3MgcHVibGlzaGluZyBtb2RlbApBQ00gaGFzIGludHJvZHVj ZWQgYSBuZXcgb3BlbiBhY2Nlc3MgcHVibGlzaGluZyBtb2RlbCBmb3IgdGhlCkludGVybmF0aW9u YWwgQ29uZmVyZW5jZSBQcm9jZWVkaW5ncyBTZXJpZXMgKElDUFMpLiBBdXRob3JzIGJhc2VkIGF0 Cmluc3RpdHV0aW9ucyB0aGF0IGFyZSBub3QgeWV0IHBhcnQgb2YgdGhlIEFDTSBPcGVuIHByb2dy YW0gYW5kIGRvIG5vdApxdWFsaWZ5IGZvciBhIHdhaXZlciB3aWxsIGJlIHJlcXVpcmVkIHRvIHBh eSBhbiBhcnRpY2xlIHByb2Nlc3NpbmcKY2hhcmdlIChBUEMpIHRvIHB1Ymxpc2ggdGhlaXIgSUNQ UyBhcnRpY2xlIGluIHRoZSBBQ00gRGlnaXRhbCBMaWJyYXJ5LgpUbyBkZXRlcm1pbmUgd2hldGhl ciBvciBub3QgYW4gQVBDIHdpbGwgYmUgYXBwbGljYWJsZSB0byB5b3VyIGFydGljbGUsCnBsZWFz ZSBmb2xsb3cgdGhlIGRldGFpbGVkIGd1aWRhbmNlIGhlcmU6CgpodHRwczovL3d3dy5hY20ub3Jn L3B1YmxpY2F0aW9ucy9pY3BzL2F1dGhvci1ndWlkYW5jZS4KCkZ1cnRoZXIgaW5mb3JtYXRpb24g bWF5IGJlIGZvdW5kIG9uIHRoZSBBQ00gd2Vic2l0ZSwgYXMgZm9sbG93czoKCi0gRnVsbCBkZXRh aWxzIG9mIHRoZSBuZXcgSUNQUyBwdWJsaXNoaW5nIG1vZGVsOgoKICBodHRwczovL3d3dy5hY20u b3JnL3B1YmxpY2F0aW9ucy9pY3BzL2ZhcQotIEZ1bGwgZGV0YWlscyBvZiB0aGUgQUNNIE9wZW4g cHJvZ3JhbToKCiAgaHR0cHM6Ly93d3cuYWNtLm9yZy9wdWJsaWNhdGlvbnMvb3BlbmFjY2Vzcwot IFBsZWFzZSBkaXJlY3QgYWxsIHF1ZXN0aW9ucyBhYm91dCB0aGUgbmV3IG1vZGVsIHRvIGljcHMt aW5mb0BhY20ub3JnLgoKCiMjIyBQZXRlciBMYW5kaW4gUHJpemUKClRoZSBQZXRlciBMYW5kaW4g UHJpemUgaXMgYXdhcmRlZCB0byB0aGUgYmVzdCBwYXBlciBwcmVzZW50ZWQgYXQgdGhlCnN5bXBv c2l1bSBldmVyeSB5ZWFyLiBUaGUgaG9ub3VyZWQgYXJ0aWNsZSBpcyBzZWxlY3RlZCBieSB0aGUg cHJvZ3JhbQpjb21taXR0ZWUgYmFzZWQgb24gdGhlIHN1Ym1pc3Npb25zIHJlY2VpdmVkIGZvciB0 aGUgZm9ybWFsIHJldmlldwpwcm9jZXNzLiBUaGUgcHJpemUgY2FycmllcyBhIGNhc2ggYXdhcmQg ZXF1aXZhbGVudCB0byAxNTAgRXVyb3MuCgojIyMgT3JnYW5pc2F0aW9uCgpQQyBDaGFpcnM6CgpB bGJlcnRvIFBhcmRvLCBVbml2ZXJzaWRhZCBkZSBsYSBSZXDDumJsaWNhLCBNb250ZXZpZGVvLCBV cnVndWF5Ck1hcmNvcyBWaWVyYSwgVW5pdmVyc2lkYWQgZGUgbGEgUmVww7pibGljYSwgTW9udGV2 aWRlbywgVXJ1Z3VheQoKUHVibGljaXR5IENoYWlyOgoKTWFydCBMdWJiZXJzLCBSYWRib3VkIFVu aXZlcnNpdHksIFRoZSBOZXRoZXJsYW5kcwoKTG9jYWwgQ2hhaXJzOgoKQWxiZXJ0byBQYXJkbywg VW5pdmVyc2lkYWQgZGUgbGEgUmVww7pibGljYSwgTW9udGV2aWRlbywgVXJ1Z3VheQpNYXJjb3Mg VmllcmEsIFVuaXZlcnNpZGFkIGRlIGxhIFJlcMO6YmxpY2EsIE1vbnRldmlkZW8sIFVydWd1YXkK CgojIyMgUHJvZ3JhbSBjb21taXR0ZWU6CgpNYXR0ZW8gQ2ltaW5pLCBVbml2ZXJzaXR5IG9mIE1h c3NhY2h1c2V0dHMgTG93ZWxsCkZhY3VuZG8gRG9tw61uZ3VleiwgVHdlYWcKSm/Do28gUGF1bG8g RmVybmFuZGVzLCBVbml2ZXJzaWRhZGUgZG8gUG9ydG8KSmVyZW15IEdpYmJvbnMsIE94Zm9yZCBV bml2ZXJzaXR5Ckp1cnJpYWFuIEhhZ2UsIEhlcmlvdCBXYXR0IFVuaXZlcnNpdHkKSmFzb24gSGVt YW5uLCBTZXRvbiBIYWxsIFVuaXZlcnNpdHkKTWFqYSBIYW5uZSBLaXJrZWJ5LCBSb3NraWxkZSBV bml2ZXJzaXR5Ck1hcnQgTHViYmVycywgUmFkYm91ZCBVbml2ZXJzaXR5CkJydW5vIEMuIEQuIFMu IE9saXZlaXJhLCBUaGUgVW5pdmVyc2l0eSBvZiBIb25nIEtvbmcKUmludXMgUGxhc21laWplciwg UmFkYm91ZCBVbml2ZXJzaXR5CkFuZHJlIFJhdWJlciBEdSBCb2lzLCBVbml2ZXJzaWRhZGUgRmVk ZXJhbCBkZSBQZWxvdGFzClJvZHJpZ28gUmliZWlybywgVW5pdmVyc2lkYWRlIEZlZGVyYWwgZGUg T3VybyBQcmV0bwpBbGVqYW5kcm8gUnVzc28sIENoYWxtZXJzIFVuaXZlcnNpdHkgb2YgVGVjaG5v bG9neQpKb8OjbyBTYXJhaXZhLCBVbml2ZXJzaXR5IG9mIE1pbmhvCldlbmhhbyBUYW5nLCBVbml2 ZXJzaXR5IG9mIEVkaW5idXJnaApaaGl4dWFuIFlhbmcsIEltcGVyaWFsIENvbGxlZ2UgTG9uZG9u CkJyZW50IFlvcmdleSwgSGVuZHJpeCBDb2xsZWdlCkJldGEgWmlsaWFuaSwgTWFuYXMuVGVjaApW aWt0w7NyaWEgWnPDs2ssIEXDtnR2w7ZzIExvcsOhbmQgVW5pdmVyc2l0eQoKIyMjIFZlbnVlCgpJ RkwgMjAyNSB3aWxsIGJlIGhlbGQgcGh5c2ljYWxseSBpbiBNb250ZXZpZGVvLCBVcnVndWF5LiBT ZWUgdGhlCndlYnNpdGUgZm9yIG1vcmUgaW5mb3JtYXRpb24uCgogICAgaHR0cHM6Ly93d3cuZmlu Zy5lZHUudXkvaW5jby9jb25ncmVzb3MvaWZsMjAyNQoKCiMjIyBBY2tub3dsZWRnbWVudHMKClRo aXMgY2FsbC1mb3ItcGFwZXJzIGlzIGFuIGFkYXB0YXRpb24gYW5kIGV2b2x1dGlvbiBvZiBjb250 ZW50IGZyb20KcHJldmlvdXMgaW5zdGFuY2VzIG9mIElGTC4gV2UgYXJlIGdyYXRlZnVsIHRvIHBy aW9yIG9yZ2FuaXNlcnMgZm9yIHRoZWlyCndvcmssIHdoaWNoIGlzIHJldXNlZCBoZXJlLgpfX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpIYXNrZWxsIG1haWxp bmcgbGlzdApIYXNrZWxsQGhhc2tlbGwub3JnCmh0dHA6Ly9tYWlsLmhhc2tlbGwub3JnL2NnaS1i aW4vbWFpbG1hbi9saXN0aW5mby9oYXNrZWxsCg==