Add `flake.nix` - Githubissues

frex-project / idris-frex

Other

46 stars 9 forks source link

Closed doctorn closed 3 years ago

doctorn commented 3 years ago

While working on elaborator reflection realised we didn't have a dev environment set up