Giters

shtanton / jam

Functional language using refinement types to avoid bugs

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

Functional language using refinement types to avoid bugs

Languages

Language:Rust 65.3%Language:TeX 34.7%Language:Shell 0.0%