4 ms·
Not in Racket, but still a Lisp: https://github.com/combinatorylogic/mbase/tree/master/src/l/lib/ml https://github.com/combinatorylogic/mbase/tree/master/src/l/
by sklogic 11y ago
Not in Racket, but still a Lisp: https://github.com/combinatorylogic/mbase/tree/master/src/l/lib/ml https://github.com/combinatorylogic/mbase/tree/master/src/l/...
- jnbiche 11y agoThat is quite a broad and instructive project, very interested to see the Prolog type checking you describe below in action. Thanks!