ats-lang-users  

Messages by Thread

• • Re: How can I create a dependent size_t literal? Hongwei Xi
• Re: <> in first part of function return type 'Yannick Duchêne' via ats-lang-users
  • Re: <> in first part of function return type Hongwei Xi
  • Re: <> in first part of function return type 'Yannick Duchêne' via ats-lang-users
  • Re: <> in first part of function return type 'Yannick Duchêne' via ats-lang-users
• The lin effect on ordinary (not lambda) function 'Yannick Duchêne' via ats-lang-users
  • Re: The lin effect on ordinary (not lambda) function Hongwei Xi
• Effects of proofs on types as a side effect 'Yannick Duchêne' via ats-lang-users
  • Re: Effects of proofs on types as a side effect Hongwei Xi
  • Re: Effects of proofs on types as a side effect 'Yannick Duchêne' via ats-lang-users
  • Re: Effects of proofs on types as a side effect 'Yannick Duchêne' via ats-lang-users
  • Re: Effects of proofs on types as a side effect 'Yannick Duchêne' via ats-lang-users
  • Re: Effects of proofs on types as a side effect Hongwei Xi
  • Re: Effects of proofs on types as a side effect 'Yannick Duchêne' via ats-lang-users
  • Re: Effects of proofs on types as a side effect Hongwei Xi
  • Re: Effects of proofs on types as a side effect 'Yannick Duchêne' via ats-lang-users
• Cross-compiling for Windows Vanessa McHale
  • Re: Cross-compiling for Windows Artyom Shalkhakov
  • Re: Cross-compiling for Windows 'Yannick Duchêne' via ats-lang-users
  • Re: Cross-compiling for Windows Hongwei Xi
  • Re: Cross-compiling for Windows Vanessa McHale
• Re: Meaning of `#[…]` 'Yannick Duchêne' via ats-lang-users
• Re: Implement and termination metrics gmhwxi
  • Re: Implement and termination metrics 'Yannick Duchêne' via ats-lang-users
• Linear component is abandoned ... aditya siram
  • Re: Linear component is abandoned ... Artyom Shalkhakov
  • Re: Linear component is abandoned ... aditya siram
  • Re: Linear component is abandoned ... Artyom Shalkhakov
  • Re: Linear component is abandoned ... Hongwei Xi
  • Re: Linear component is abandoned ... aditya siram
• ~ overloading seems to be a little bit confusing Julian Fondren
  • Re: ~ overloading seems to be a little bit confusing Hongwei Xi
• Nested viewtype destructuring ... aditya siram
  • Re: Nested viewtype destructuring ... Hongwei Xi
  • Re: Nested viewtype destructuring ... Hongwei Xi
  • Re: Nested viewtype destructuring ... aditya siram
  • Re: Nested viewtype destructuring ... Hongwei Xi
  • Re: Nested viewtype destructuring ... aditya siram
  • Re: Nested viewtype destructuring ... Hongwei Xi
  • Re: Nested viewtype destructuring ... aditya siram
  • Re: Nested viewtype destructuring ... gmhwxi
• Linear lazy stream, $ldelay, and freeing a single element. Steinway Wu
  • Re: Linear lazy stream, $ldelay, and freeing a single element. gmhwxi
  • Re: Linear lazy stream, $ldelay, and freeing a single element. Steinway Wu
  • Re: Linear lazy stream, $ldelay, and freeing a single element. Steinway Wu
  • Re: Linear lazy stream, $ldelay, and freeing a single element. Hongwei Xi
  • Re: Linear lazy stream, $ldelay, and freeing a single element. Steinway Wu
  • Re: Linear lazy stream, $ldelay, and freeing a single element. Hongwei Xi
  • Re: Linear lazy stream, $ldelay, and freeing a single element. Steinway Wu
  • Re: Linear lazy stream, $ldelay, and freeing a single element. gmhwxi
• Templates and Closures Steinway Wu
  • Re: Templates and Closures Steinway Wu
  • Re: Templates and Closures Steinway Wu
• ATS license gmhwxi
  • Re: ATS license Artyom Shalkhakov
  • Re: ATS license gmhwxi
  • Re: ATS license Rudi Grinberg
• ATS-Redis Steinway Wu
• Nix Steinway Wu
  • Re: Nix Artyom Shalkhakov
  • Re: Nix Steinway Wu
  • Re: Nix Artyom Shalkhakov
  • Re: Nix Brandon Barker
• Blockchain + Smart Contract in ATS - looking for collaborators Lance Galletti
  • Re: Blockchain + Smart Contract in ATS - looking for collaborators Steinway Wu
  • Re: Blockchain + Smart Contract in ATS - looking for collaborators Zhiqiang Ren
  • Re: Blockchain + Smart Contract in ATS - looking for collaborators Lance Galletti
  • Re: Blockchain + Smart Contract in ATS - looking for collaborators Artyom Shalkhakov
  • Re: Blockchain + Smart Contract in ATS - looking for collaborators Lance Galletti
  • Re: Blockchain + Smart Contract in ATS - looking for collaborators Artyom Shalkhakov
  • Re: Blockchain + Smart Contract in ATS - looking for collaborators Lance Galletti
• Functions from datasorts to datasorts Andrew Knapp
  • Re: Functions from datasorts to datasorts gmhwxi
  • Re: Functions from datasorts to datasorts Andrew Knapp
  • Re: Functions from datasorts to datasorts Hongwei Xi
  • Re: Functions from datasorts to datasorts Artyom Shalkhakov
• Shared memory IPC in ATS Andrew Knapp
  • Re: Shared memory IPC in ATS Artyom Shalkhakov
  • Re: Shared memory IPC in ATS gmhwxi
  • Re: Shared memory IPC in ATS Andrew Knapp
• Defining constraints -- datasorts and stacst M88
  • Re: Defining constraints -- datasorts and stacst gmhwxi
  • Re: Defining constraints -- datasorts and stacst M88
  • Re: Defining constraints -- datasorts and stacst Hongwei Xi
  • Re: Defining constraints -- datasorts and stacst M88
  • Re: Defining constraints -- datasorts and stacst Hongwei Xi
  • Re: Defining constraints -- datasorts and stacst M88
  • Re: Defining constraints -- datasorts and stacst Hongwei Xi
• Learn ATS2, or wait for ATS3? Yves Cloutier
  • Re: Learn ATS2, or wait for ATS3? Hongwei Xi
• ATS/C programming: a book Artyom Shalkhakov
  • Re: ATS/C programming: a book gmhwxi
• staload, paths, and infix operators M88
  • Re: staload, paths, and infix operators gmhwxi
  • Re: staload, paths, and infix operators gmhwxi
• Puzzling infinite loop in template code Andrew Knapp
  • Re: Puzzling infinite loop in template code Hongwei Xi
• Intro to ATS - How to code productively Lance Galletti
  • Re: Intro to ATS - How to code productively gmhwxi
  • Re: Intro to ATS - How to code productively Artyom Shalkhakov
  • Re: Intro to ATS - How to code productively Lance Galletti
  • Re: Intro to ATS - How to code productively Artyom Shalkhakov
  • Re: Intro to ATS - How to code productively Lance Galletti
  • Re: Intro to ATS - How to code productively Artyom Shalkhakov
  • Re: Intro to ATS - How to code productively Lance Galletti
  • Re: Intro to ATS - How to code productively Steinway Wu
  • Re: Intro to ATS - How to code productively Artyom Shalkhakov
  • Re: Intro to ATS - How to code productively Steinway Wu
• Fwd: [ats-lang-users] ATS2-0.3.10 released Hongwei Xi
• Flat memory underlying dataviewtypes Andrew Knapp
  • Re: Flat memory underlying dataviewtypes Hongwei Xi
  • Re: Flat memory underlying dataviewtypes Andrew Knapp
  • Re: Flat memory underlying dataviewtypes Andrew Knapp
  • Re: Flat memory underlying dataviewtypes Hongwei Xi
  • Re: Flat memory underlying dataviewtypes gmhwxi
  • Re: Flat memory underlying dataviewtypes Andrew Knapp
  • Re: Flat memory underlying dataviewtypes Artyom Shalkhakov
  • Re: Flat memory underlying dataviewtypes Andrew Knapp
• Re: Some ATS code for Book "Getting Started with Arduino" Brandon Barker
  • Re: Some ATS code for Book "Getting Started with Arduino" Hongwei Xi
  • Re: Some ATS code for Book "Getting Started with Arduino" Brandon Barker
  • Re: Some ATS code for Book "Getting Started with Arduino" Hongwei Xi
  • Re: Some ATS code for Book "Getting Started with Arduino" Brandon Barker
• Type annotation for patterns and expressions gmhwxi
• Diagrams for types; unit vs void? Brandon Barker
  • Re: Diagrams for types; unit vs void? Hongwei Xi
  • Re: Diagrams for types; unit vs void? Brandon Barker
  • Re: Diagrams for types; unit vs void? Hongwei Xi
  • Re: Diagrams for types; unit vs void? Hongwei Xi
• Example code for traits/mixins/multiple inheritance Brandon Barker
  • Re: Example code for traits/mixins/multiple inheritance Artyom Shalkhakov
  • Re: Example code for traits/mixins/multiple inheritance Brandon Barker
• Programming based on category theory Brandon Barker
  • Re: Programming based on category theory gmhwxi
• atsboot: a tiny starter "kernel" in ATS Brandon Barker
• proofs vs statics? Brandon Barker
  • Re: proofs vs statics? Hongwei Xi
  • Re: proofs vs statics? gmhwxi
  • Re: proofs vs statics? Brandon Barker
  • Re: proofs vs statics? Hongwei Xi
  • Re: proofs vs statics? 'Yannick Duchêne' via ats-lang-users
  • Re: proofs vs statics? gmhwxi
  • Re: proofs vs statics? 'Yannick Duchêne' via ats-lang-users
• Grammar for ATS2? theindigamer15
  • Re: Grammar for ATS2? Brandon Barker
  • Re: Grammar for ATS2? theindigamer15
  • Re: Grammar for ATS2? gmhwxi
• Theoretical underpinnings for ATS's type system Brandon Barker
  • Re: Theoretical underpinnings for ATS's type system Steinway Wu
• Fwd: [TYPES/announce] 1st call for papers: Trends in Functional Programming, 11-13 june 2018, Chalmers Campus Johanneberg, Gothenburg Hongwei Xi
• RE: VerifyThis 2018: Call for Participation and Travel Grants Inbox x Hongwei Xi
• Fwd: [ats-lang-users] VerifyThis 2018: Call for Problems and First Announcement Hongwei Xi
• ATSPackage: a build tool/package manager for ATS vamchale
  • Re: ATSPackage: a build tool/package manager for ATS Hongwei Xi
  • Re: ATSPackage: a build tool/package manager for ATS Artyom Shalkhakov
• Is this a bug? println!() can print argv[1] but now a value that may be it. Julian Fondren
  • Re: Is this a bug? println!() can print argv[1] but now a value that may be it. Hongwei Xi
  • Re: Is this a bug? println!() can print argv[1] but now a value that may be it. Julian Fondren
  • Re: Is this a bug? println!() can print argv[1] but now a value that may be it. gmhwxi
• Difficulties getting equality working with higher-kinded types vamchale
  • Re: Difficulties getting equality working with higher-kinded types vamchale
  • Re: Difficulties getting equality working with higher-kinded types gmhwxi
  • Re: Difficulties getting equality working with higher-kinded types gmhwxi
  • Re: Difficulties getting equality working with higher-kinded types vamchale
• ATS3: ATS/Xanadu gmhwxi
  • Re: ATS3: ATS/Xanadu gmhwxi
  • Re: ATS3: ATS/Xanadu Martin DeMello
  • Re: ATS3: ATS/Xanadu Hongwei Xi
  • Re: ATS3: ATS/Xanadu Julian Fondren
  • Re: ATS3: ATS/Xanadu Julian Fondren
  • Re: ATS3: ATS/Xanadu Julian Fondren
  • Re: ATS3: ATS/Xanadu Hongwei Xi
  • Re: ATS3: ATS/Xanadu vamchale
  • Re: ATS3: ATS/Xanadu gmhwxi
  • Re: ATS3: ATS/Xanadu August Alm
  • Re: ATS3: ATS/Xanadu Artyom Shalkhakov
  • Re: ATS3: ATS/Xanadu August Alm
  • Re: ATS3: ATS/Xanadu gmhwxi
  • Re: ATS3: ATS/Xanadu August Alm
  • Re: ATS3: ATS/Xanadu gmhwxi
  • Re: ATS3: ATS/Xanadu Brandon Barker
  • Re: ATS3: ATS/Xanadu Hongwei Xi
  • Re: ATS3: ATS/Xanadu Brandon Barker
  • Re: ATS3: ATS/Xanadu Steinway Wu
  • Re: ATS3: ATS/Xanadu gmhwxi
  • Re: ATS3: ATS/Xanadu Steinway Wu
  • Re: ATS3: ATS/Xanadu August Alm
  • Re: ATS3: ATS/Xanadu M88
  • Re: ATS3: ATS/Xanadu Artyom Shalkhakov
  • Re: ATS3: ATS/Xanadu aditya siram
  • Re: ATS3: ATS/Xanadu vamchale
  • Re: ATS3: ATS/Xanadu Brandon Barker
  • Re: ATS3: ATS/Xanadu Brandon Barker
  • Re: ATS3: ATS/Xanadu Brandon Barker
  • Re: ATS3: ATS/Xanadu gmhwxi
  • Re: ATS3: ATS/Xanadu Brandon Barker
  • Re: ATS3: ATS/Xanadu Brandon Barker
  • Re: ATS3: ATS/Xanadu Hongwei Xi
  • Re: ATS3: ATS/Xanadu Brandon Barker
  • Re: ATS3: ATS/Xanadu Hongwei Xi

• Earlier messages
• Later messages