jodin-rs

A rust reimplementation of Jodin

The Jodin Virtual Machine

This language runs on byte code for a custom virtual machine

Steps to creating type info

1. Find all declarations
2. Find all implementations
3. Perform type analysis