utop VS Charm-MacOS

You can also (and should!) familiarize yourself with utop. From utop, you can see the types of just about anything.

You should probably file a ticket on the utop repo rather than mentioning it here: https://github.com/ocaml-community/utop

To write OCaml code, I sat up Neovim by following this guide. For my repl needs, I used Utop. Whenever I needed to insert multiple lines, I used Utop's $editor integration which could be opened by C-x C-e.

I'm going to leave this here. It's a great toplevel for OCaml.

There's source code here, a Mac executable with auxiliary files here, and there's a manual here which also has notes in pink to explain the reasoning behind my choices. If you like the project, please add a star to the source code repo. Thanks!

There is a manual here with extensive notes (in pink) for langdevs. The source code is here and Mac OS object code can be found here.

Source code; Mac OS object code; manual.

So, here's the source code, and here's the Mac executable plus resource files. Both come with lots of example code and a manual in .pdf form with extensive notes for langdevs. The description of the bells and whistles of the REPL are near the end of the manual, in the section titled "The hub".

Here's the source code etc, here's a compiled Mac OS version, and here's a manual with extensive notes for other langdevs about what I'm trying to do.

Mac OS object code for Charm : https://github.com/tim-hardcastle/Charm-MacOS

See my shiny newish language paradigm! Or, alternatively, come and stare at the crazy guy trying to put the fun into functional! (Mac executable, manual in .pdf form and demo code here, source code etc here. Or if you just want to read about it without getting your hands dirty, here’s a version of the manual with extensive notes for langdevs.)