(again, started on 7/10 but forgot to make a ticket)
The way I have been learning this language is by going through all the materials from its website and re-implementing all the code as exercises - the repository where I am putting this code is https://github.com/alexpatel/lean-ex
(again, started on 7/10 but forgot to make a ticket)
The way I have been learning this language is by going through all the materials from its website and re-implementing all the code as exercises - the repository where I am putting this code is https://github.com/alexpatel/lean-ex