Skip to content

Latest commit

 

History

History
4 lines (4 loc) · 74 Bytes

README.md

File metadata and controls

4 lines (4 loc) · 74 Bytes

type-theory_hw

build : make run : make run pack to zip file : make pack