search

sacerdot / Minimalist-Type-Theory-In-Lambda-Prolog

An implementation in Lambda-Prolog of the Minimalist Type Theory
4 stars 3 forks source link

Added preliminary comments to main.elpi, moved some lines and deleted… #8

Closed Anfiarao closed 6 years ago

Anfiarao commented 6 years ago

… repetitions