3 ms·
The program is a constructive existence proof of the theorem structures embodied in the type system.
by silentOpen 15y ago
The program is a constructive existence proof of the theorem structures embodied in the type system.
- tel 15y agoI'm aware. I suppose I think of the theorems as less interesting though usually.