Giters

kevinjcliao / Undergraduate-Thesis

A literature review of dependent types

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

A literature review of dependent types

Languages

Language:TeX 96.7%Language:Idris 3.1%Language:F# 0.2%