fix: code review feedback from Mac.

leanprover / LeanInk

LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.

Apache License 2.0

60 stars 16 forks source link

Closed lovettchris closed 2 years ago

lovettchris commented 2 years ago

Implement code review feedback from Mac.

just cleanup lakefile.lean

Kha commented 2 years ago

It's not really a fix, is it?