mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-09-11 21:37:48 +03:00
Add a dev shell to the flake
This commit is contained in:
parent
381438533c
commit
f91e92bd54
Loading…
Reference in New Issue
Block a user