mirror of
https://github.com/ilyakooo0/Idris-dev.git
synced 2024-10-27 02:11:27 +03:00
cc7ef9adaf
* Remove old eliminator generation and induction tactic * Run stylize |
||
---|---|---|
.. | ||
idris.1 |