Giters

abhishiv / semiotics

AST Specs and Transpilers/Traversers for an minimalist typed lambda calculus like language that compiles to Typescript. See tests and types for details.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

AST Specs and Transpilers/Traversers for an minimalist typed lambda calculus like language that compiles to Typescript. See tests and types for details.

Languages

Language:TypeScript 98.6%Language:Makefile 0.9%Language:JavaScript 0.4%