Giters

DrRuisseau / 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 90.3%Language:C 5.5%Language:Scheme 1.7%Language:Racket 1.0%Language:Makefile 0.6%Language:JavaScript 0.5%Language:CSS 0.4%Language:HTML 0.0%