3 ms·
> Haskell https://github.com/Frege/frege https://github.com/Frege/frege https://github.com/typelead/eta https://github.com/typelead/eta Of the others you men
by dmit 1y ago
> Haskell
https://github.com/Frege/frege https://github.com/Frege/frege
https://github.com/typelead/eta https://github.com/typelead/eta
Of the others you mentioned, I bet there's a couple JVM Prologs out there, but haven't encountered any myself.
- vram22 1y agoThanks. I briefly looked at Frege; both it and the person it is named after are very interesting. https://en.m.wikipedia.org/wiki/Gottlob_Frege https://en.m.wikipedia.org/wiki/Gottlob_Frege
- vram22 1y agoSo I submitted HN posts about both of them: https://news.ycombinator.com/item?id=44112115 https://news.ycombinator.com/item?id=44112115 https://news.ycombinator.com/item?id=44076220 https://news.ycombinator.com/item?id=44076220 Full speed ahead, and damn the naysayers, er, downvoters, er, torpedos! ;) https://en.m.wikipedia.org/wiki/David_Farragut https://en.m.wikipedia.org/wiki/David_Farragut