mthom/scryer-shen
View on GitHub ↗ ★ 59 Racket
3 mentions on Hacker News by 3 people: 1 story, 2 comments · first 2024-03-05 · latest 2025-01-26
20082026
-
…for other readers, Mark Thom's Prolog-in-Rust to be a type inference engine for his Lisp-in-Rust: https://github.com/mthom/scryer-shen
comment by jodrellblank · 2025-01-26 · in The Simplicity of Prolog -
▲ 3
Some novel features of Scryer Shenstory by triska · 2024-08-16 · 0 comments
-
…from scratch, in Racket, which integrates directly with my Prolog implementation, Scryer Prolog: https://github.com/mthom/scryer-shen/ Several innovations are documented in the README. Both the Prolog implementation and the type checker…
comment by mthom · 2024-03-05 · in The Shen Programming Language