search

maemre / cadmium

1 stars 0 forks source link

Build a standard library #6

Open maemre opened 5 years ago

maemre commented 5 years ago

Build a standard library mostly compatible with prolog. Right now, our goal is to build something that can run the typed prolog compiler.