ats-lang-users

1–30 of 1321

Welcome to the ats-lang-users group!

0 selected

FRANCESCO PERILLI EQUITA SIM MILAN

6:25 AM

LO VUOLE SEMPRE NEL CULO: #MARIAPAOLATOSCHI DI #JPMORGAN! VUOLE SESSO ANALE E SESSO DI GRUPPO ESTREMO: MARIA PAOLA TOSCHI DI JP MORGAN (CON SUOI COMPARI SATANISTI, COMPLOTTARDI, SPIONI, KILLERS DI #LIONSCLUBS, #ROTARY E #MASSONERIA DI TIPO MAFIOSO E.

LO VUOLE SEMPRE NEL CULO: #MARIAPAOLATOSCHI DI #JPMORGAN! VUOLE SESSO ANALE E SESSO DI GRUPPO ESTREMO

unread,

LO VUOLE SEMPRE NEL CULO: #MARIAPAOLATOSCHI DI #JPMORGAN! VUOLE SESSO ANALE E SESSO DI GRUPPO ESTREMO: MARIA PAOLA TOSCHI DI JP MORGAN (CON SUOI COMPARI SATANISTI, COMPLOTTARDI, SPIONI, KILLERS DI #LIONSCLUBS, #ROTARY E #MASSONERIA DI TIPO MAFIOSO E.

LO VUOLE SEMPRE NEL CULO: #MARIAPAOLATOSCHI DI #JPMORGAN! VUOLE SESSO ANALE E SESSO DI GRUPPO ESTREMO

6:25 AM

LORENZO PIACENTINI. LAZARD. GRAN LOGGIA SVIZZERA

Jan 19

É SBORRATISSIMA DENTRO AL CULO: #MARIAPAOLATOSCHI DI #JPMORGAN! VUOLE SESSO ANALE E SESSO DI GRUPPO ESTREMO: MARIA PAOLA TOSCHI DI JP MORGAN (CON SUOI COMPARI SATANISTI, COMPLOTTARDI, SPIONI, KILLERS DI #LIONSCLUBS, #ROTARY E #MASSONERIA DI TIPO MAFI

É SBORRATISSIMA DENTRO AL CULO: #MARIAPAOLATOSCHI DI #JPMORGAN! VUOLE SESSO ANALE E SESSO DI GRUPPO

unread,

É SBORRATISSIMA DENTRO AL CULO: #MARIAPAOLATOSCHI DI #JPMORGAN! VUOLE SESSO ANALE E SESSO DI GRUPPO ESTREMO: MARIA PAOLA TOSCHI DI JP MORGAN (CON SUOI COMPARI SATANISTI, COMPLOTTARDI, SPIONI, KILLERS DI #LIONSCLUBS, #ROTARY E #MASSONERIA DI TIPO MAFI

É SBORRATISSIMA DENTRO AL CULO: #MARIAPAOLATOSCHI DI #JPMORGAN! VUOLE SESSO ANALE E SESSO DI GRUPPO

Jan 19

d4v3y_5c0n3s, gmhwxi14

Jan 1

Help with Templates, cannot find missing implementation somewhere...

That seems to have fixed my issue, thanks. :) On Thursday, December 30, 2021 at 9:28:57 PM UTC-5

unread,

Help with Templates, cannot find missing implementation somewhere...

That seems to have fixed my issue, thanks. :) On Thursday, December 30, 2021 at 9:28:57 PM UTC-5

Jan 1

12/17/21

IJCAR 2022 - Call for Papers

IJCAR 2022 - Call for Papers https://easychair.org/smart-program/IJCAR2022/. ***Important Dates***

unread,

IJCAR 2022 - Call for Papers

IJCAR 2022 - Call for Papers https://easychair.org/smart-program/IJCAR2022/. ***Important Dates***

12/17/21

d4v3y_5c0n3s, Hongwei Xi3

12/10/21

How to define linear abstract types based on records

Took a closer look at my code, and turns out there was a stray "= "sta%"" after

unread,

How to define linear abstract types based on records

Took a closer look at my code, and turns out there was a stray "= "sta%"" after

12/10/21

12/8/21

Certified Programs and Proofs (CPP) 2022: Call for Participation

*** Call for Participation *** *** Certified Programs and Proofs (CPP) 2022 *** - Early registration

unread,

Certified Programs and Proofs (CPP) 2022: Call for Participation

*** Call for Participation *** *** Certified Programs and Proofs (CPP) 2022 *** - Early registration

12/8/21

d4v3y_5c0n3s, gmhwxi4

12/7/21

What is the best way to turn a file into a lazy linear stream?

No worries, I understand sometimes people get busy. :) I eventually decided against using linear

unread,

What is the best way to turn a file into a lazy linear stream?

No worries, I understand sometimes people get busy. :) I eventually decided against using linear

12/7/21

d4v3y_5c0n3s, Hongwei Xi7

11/29/21

First, you were right, '-DATS_MEMALLOC_LIBC' fixed the code on my end so that it compiles

unread,

First, you were right, '-DATS_MEMALLOC_LIBC' fixed the code on my end so that it compiles

11/29/21

d4v3y_5c0n3s, Vanessa McHale3

11/27/21

Template Debugging Tips?

Yea, I just wish ATS was better about telling me what I'm doing wrong with templates. An "X

unread,

Template Debugging Tips?

Yea, I just wish ATS was better about telling me what I'm doing wrong with templates. An "X

11/27/21

d4v3y_5c0n3s, gmhwxi3

10/30/21

Why aren't the MUL() prop functions in the prelude docs? (on the site, that is)

Done. On Saturday, October 30, 2021 at 10:53:30 AM UTC-4 gmhwxi wrote: Yes, please open an issue

unread,

Why aren't the MUL() prop functions in the prelude docs? (on the site, that is)

Done. On Saturday, October 30, 2021 at 10:53:30 AM UTC-4 gmhwxi wrote: Yes, please open an issue

10/30/21

mark.l....@gmail.com, d4v3y_5c0n3s2

10/7/21

Lambdas that use linear resources

First, let me say that lambdas are one part of ATS that I'm not super experienced in myself.

unread,

Lambdas that use linear resources

First, let me say that lambdas are one part of ATS that I'm not super experienced in myself.

10/7/21

David Smith, … Owen Avery4

10/6/21

Memory Mapped IO

While I'm just trying to figure out the language at this point, you could try something involving

unread,

Memory Mapped IO

While I'm just trying to figure out the language at this point, you could try something involving

10/6/21

mark.l....@gmail.com, … Timmy Jose5

9/27/21

Learn ATS in Y minutes -- request for documentation review

Hello Mark, The resource looks quite useful , especially to a beginner like myself. I'm a bit

unread,

Learn ATS in Y minutes -- request for documentation review

Hello Mark, The resource looks quite useful , especially to a beginner like myself. I'm a bit

9/27/21

Kiwamu Okabe, … Timmy Jose15

9/20/21

Someone is trying to debug ATS code using DWARF?

This is very useful. Thanks for the wiki page, Kiwamu! On Tuesday, May 28, 2019 at 11:49:54 AM UTC+5:

unread,

Someone is trying to debug ATS code using DWARF?

This is very useful. Thanks for the wiki page, Kiwamu! On Tuesday, May 28, 2019 at 11:49:54 AM UTC+5:

9/20/21

9/8/21

30 months postdoctoral research position at University of Sheffield involving proof-assistant-based verification -- application deadline 23 Sept. 2021

Greetings, A postdoctoral research position (Grade 7) is available at the University of Sheffield.

unread,

30 months postdoctoral research position at University of Sheffield involving proof-assistant-based verification -- application deadline 23 Sept. 2021

Greetings, A postdoctoral research position (Grade 7) is available at the University of Sheffield.

9/8/21

8/19/21

Certified Programs and Proofs (CPP) 2022: Final Call for Papers

Certified Programs and Proofs (CPP) is an international conference on practical and theoretical

unread,

Certified Programs and Proofs (CPP) 2022: Final Call for Papers

Certified Programs and Proofs (CPP) is an international conference on practical and theoretical

8/19/21

d4v3y_5c0n3s, gmhwxi3

7/22/21

FILEREF type is non-linear?

Thanks for the help, I was curious about FILEref because I will soon need to work with files in my

unread,

FILEREF type is non-linear?

Thanks for the help, I was curious about FILEref because I will soon need to work with files in my

7/22/21

Timmy Jose, gmhwxi5

7/5/21

Re: ATS3 and stuff

Hi Hongwei, Thank you for the detailed response! This part especially fascinated me: >ATS0 (that

unread,

Re: ATS3 and stuff

Hi Hongwei, Thank you for the detailed response! This part especially fascinated me: >ATS0 (that

7/5/21

d4v3y_5c0n3s, Hongwei Xi3

7/1/21

Trying to get a dependent type working in ATS

You're right, when I sent this message I was too tired to realize what was wrong I guess. Thanks

unread,

Trying to get a dependent type working in ATS

You're right, when I sent this message I was too tired to realize what was wrong I guess. Thanks

7/1/21

6/14/21

Call for Papers: Fifth Workshop on Formal Mathematics for Mathematicians (FMM 2021)

========================================================= Call for Papers Fifth Workshop on Formal

unread,

Call for Papers: Fifth Workshop on Formal Mathematics for Mathematicians (FMM 2021)

========================================================= Call for Papers Fifth Workshop on Formal

6/14/21

6/14/21

Certified Programs and Proofs (CPP) 2022: Call for Papers

Certified Programs and Proofs (CPP) is an international conference on practical and theoretical

unread,

Certified Programs and Proofs (CPP) 2022: Call for Papers

Certified Programs and Proofs (CPP) is an international conference on practical and theoretical

6/14/21

David Smith, Hongwei Xi3

6/7/21

-Wincompatible-pointer-type for functions taking a pointer

Alright, I think I figured it out, thank you! gmhwxi schrieb am Samstag, 5. Juni 2021 um 20:29:10 UTC

unread,

-Wincompatible-pointer-type for functions taking a pointer

Alright, I think I figured it out, thank you! gmhwxi schrieb am Samstag, 5. Juni 2021 um 20:29:10 UTC

6/7/21

gmhwxi, augu...@gmail.com2

6/7/21

Functional imperative programming in ATS

Yes! Having functions of the schematic form f(x: a >> b) : c is one of the most amazing and

unread,

Functional imperative programming in ATS

Yes! Having functions of the schematic form f(x: a >> b) : c is one of the most amazing and

6/7/21

6/4/21

DML-style dependent types in ATS

The dependent types in ATS are not the kind of full spectrum dependent types as formulated in Martin-

unread,

DML-style dependent types in ATS

The dependent types in ATS are not the kind of full spectrum dependent types as formulated in Martin-

6/4/21

gmhwxi, d4v3y_5c0n3s2

6/3/21

Moving forward with ATS3

Exciting! I can't wait! :D On Thursday, June 3, 2021 at 6:31:11 PM UTC-4 gmhwxi wrote: Hi, there,

unread,

Moving forward with ATS3

Exciting! I can't wait! :D On Thursday, June 3, 2021 at 6:31:11 PM UTC-4 gmhwxi wrote: Hi, there,

6/3/21

David Smith, Troy Jacobs4

6/3/21

Passing null as a string

No problem. ✌😊 On Thu, Jun 3, 2021, 6:36 PM David Smith <sodabananas@gmail.com> wrote: Yes!

unread,

Passing null as a string

No problem. ✌😊 On Thu, Jun 3, 2021, 6:36 PM David Smith <sodabananas@gmail.com> wrote: Yes!

6/3/21

David Smith, … Troy Jacobs8

6/3/21

"Number is smaller than 0x8000, trust me"

Well, I believe that you could just call the praxi in the body of your "or" function just

unread,

"Number is smaller than 0x8000, trust me"

Well, I believe that you could just call the praxi in the body of your "or" function just

6/3/21

randy...@gmail.com, … gmhwxi6

5/31/21

Some ATS2 library updates...

>>Ideally, ATS package manager should be written in ATS :D (as in the worst case, it will

unread,

Some ATS2 library updates...

>>Ideally, ATS package manager should be written in ATS :D (as in the worst case, it will

5/31/21

Michael Lan, … Artyom Shalkhakov6

5/29/21

Type signatures in ATS

I get this error when I change print to print_string: In file included from min_dats.c:15: min_dats.c

unread,

Type signatures in ATS

I get this error when I change print to print_string: In file included from min_dats.c:15: min_dats.c

5/29/21

5/26/21

PhD position on the formalization of logical calculi in Saarbrücken

A PhD position is open at the MPI for Informatics in Saarbrücken, supervised by Christoph Weidenbach,

unread,

PhD position on the formalization of logical calculi in Saarbrücken

A PhD position is open at the MPI for Informatics in Saarbrücken, supervised by Christoph Weidenbach,

5/26/21

Search

Clear search

Close search

Google apps

Main menu