RosettaCodeData/Task/Empty-program/V-(Vlang)/empty-program-1.v

2 lines
3 B
Coq
Raw Permalink Normal View History