Groups | Search | Server Info | Login | Register
Groups > alt.comp.lang.haskell > #6
| From | Black Swan <root@rhok.xyz> |
|---|---|
| Newsgroups | alt.comp.lang.haskell |
| Message-ID | <2018071718271321320-root@rhok.xyz> (permalink) |
| References | <YLx9B.184522$lx.91863@fx43.iad> <p74iim$it4$1@solani.org> <slrnpjafqv.m8q.archiet@platinum.edu.pl> <B_I_C.3263$9K9.2079@uutiset.elisa.fi> |
| Subject | Re: Anyone alive in this group? |
| Organization | Newshosting.com - Highest quality at a great price! www.newshosting.com |
| Date | 2018-07-17 18:27 +1000 |
On 2018-07-03 11:21:05 +0000, Hopeakello said: > Michal Krzysztof Feiler wrote: >> Dnia 27.02.2018 anomie <neet_in_training@teknik.io> napisał/a: >>> On Wed, 12 Jul 2017 22:53:44 +0000, John Z wrote: >>> >>>> As the subject says. >>>> I'm not a longtime haskeller - just short of 4 years. >>> >>> I guess not. D: >> >> I use Haskell for a year now and I still consider myself a newbie, and >> now I make attempts to move on onto dependently typed programming, I >> want to try Coq or Agda. >> >> And I'm alive and here. >> > > I'm alive and well. Me too :P
Back to alt.comp.lang.haskell | Previous | Next — Previous in thread | Next in thread | Find similar
Anyone alive in this group? John Z <john@doe.com> - 2017-07-12 22:53 +0000
Re: Anyone alive in this group? anomie <neet_in_training@teknik.io> - 2018-02-27 21:28 +0000
Re: Anyone alive in this group? John Z <john@doe.com> - 2018-03-01 14:30 +0000
Re: Anyone alive in this group? Michal Krzysztof Feiler <archiet@platinum.edu.pl> - 2018-06-28 20:04 +0000
Re: Anyone alive in this group? Hopeakello <no@email.adr> - 2018-07-03 14:21 +0300
Re: Anyone alive in this group? Black Swan <root@rhok.xyz> - 2018-07-17 18:27 +1000
I'm still here | Re: Anyone alive in this group? Michal Krzysztof Feiler <archiet@archiet.pl> - 2019-01-08 23:27 +0000
csiph-web