3 ms·
Yeah I really dislike that you need neovim or VS to benefit from Infoview Haven't tried it but there's this community-made REPL https://github.com/leanprover-c
by nylonstrung 2mo ago
Yeah I really dislike that you need neovim or VS to benefit from Infoview
Haven't tried it but there's this community-made REPL https://github.com/leanprover-community/repl https://github.com/leanprover-community/repl
- IsTom 2mo agoUsing JSON as input and output of a REPL is certainly a choice.