Comment Comment by kartD I see, is there anything you see today that you like? (Coq, Idris maybe?) parent kartD 10 years ago
