A bytecode interpreter for statically typed functional languages. https://www.youtube.com/watch?v=pKsOAJzfLgE&list=PLhMOOgDOKD4JV2AgL1XzoYanY6RpGKbNa

Updated 1 month ago

A strict, purely functional, statically typed language with emphasis on structural typing. Wip in progress.

Updated 1 month ago

a silly little programming language inspired by datalog.

Updated 1 month ago