#

meta-language

Here are 3 public repositories matching this topic...

owo-lang / MLPolyR

The MLPolyR programming language, revived

programming-language type-theory extensible meta-language

Updated Oct 15, 2020
Standard ML

thautwarm / ml-to-scheme

Allow using ML to teach courses that're usually given in LISPs

racket sicp meta-language lisp-compiler

Updated Oct 31, 2019
Python

Verma314 / Meta-Language-Tutorial

SML tutorial for future-me and other people

functional-programming ml tutorials sml programming-languages meta-language smlnj

Updated May 14, 2018
Standard ML

Improve this page

Add a description, image, and links to the meta-language topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the meta-language topic, visit your repo's landing page and select "manage topics."