ska80 / Yaffle

A core language and API for dependently typed languages

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Yaffle

Yaffle

A core language of quantitative dependent types and an elaborator for an intermediate language, and an API, intended as a core language for dependently typed languages (primarily, and initially, for Idris 2).

About

A core language and API for dependently typed languages


Languages

Language:Idris 95.1%Language:C 3.0%Language:Scheme 0.5%Language:Racket 0.5%Language:Makefile 0.4%Language:JavaScript 0.3%Language:CSS 0.2%Language:Shell 0.0%Language:HTML 0.0%