What is the overall status of Idris2 these days, is it ready to replace Idris1 or is it still heavily WIP? I did notice that 0.2.1 was released about month ago

What is the overall status of Idris2 these days, is it ready to replace Idris1 or is it still heavily WIP? I did notice that 0.2.1 was released about month ago so that sounds great! Has someone been using Idris (1 or 2) as their "daily driver" language? How has that gone, can you be productive in it?