Giters
knisht
/
type-theory-2019
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
1
Watchers:
2
Issues:
0
Forks:
0
This repository is not active
About
Languages
Language:
Haskell
67.5%
Language:
Yacc
8.2%
Language:
Makefile
7.7%
Language:
C++
6.1%
Language:
Logos
5.7%
Language:
Python
4.8%