Forums before death by AOL, social media and spammers... "We can't have nice things"
|    sci.math.symbolic    |    Symbolic algebra discussion    |    10,432 messages    |
[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]
|    Message 10,154 of 10,432    |
|    Mostowski Collapse to Mostowski Collapse    |
|    =?UTF-8?Q?Re:_Test_Cases_for_Gr=c3=b6bne    |
|    23 Jun 21 15:00:45    |
      From: janburse@fastmail.fm              Since (->)/2 inlining works, Dogelog is now old enough for its       own group. Dogelog got its own Facebook Group!              https://www.facebook.com/groups/dogelog              Mostowski Collapse schrieb:       > a paper presented in Albufeira Portugal:       >       > A portable Prolog compiler       > Conference: Logic Programming Workshop - Albufeira, Portugal       > William Clocksin - January 1983       > https://www.researchgate.net/publication/273888197       >       > our take started here:       >       > Dogelog Runtime, Prolog to the Moon       > https://qiita.com/j4n_bur53/items/17f86429745426bd14fd       >       > Enjoy!              --- SoupGate-Win32 v1.05        * Origin: you cannot sedate... all the things you hate (1:229/2)    |
[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]
(c) 1994, bbs@darkrealms.ca