Stars
1
result
for source starred repositories
written in TeX
Clear filter
A Language for the Specification and Efficient Implementation of Type Systems