GitHub repository: Kuraao/DirectionalTypeTheory
Primary language: TeX
Created: 2018-10-02T08:13:16Z
Description: For notes about a personal research project, + maybe some code for a custom programming language based on it