Giters

dimitry12 / notypes

Types as the tool for thought

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

notypes

Types as notation for thought

About

Types as the tool for thought

License:GNU Affero General Public License v3.0

Languages

Language:Python 97.2%Language:Makefile 2.8%