search

jsiek / deduce

A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
59 stars 3 forks source link

public/private with respect to import #4

Open jsiek opened 2 months ago

jsiek commented 2 months ago

Provide a way to declare something as private to the current file so it can't be imported.

HalflingHelper commented 2 weeks ago

Now done for lemmas. Should be trivial for functions now.

See collect_exports in ast nodes