Skip to content

Powered by Algolia

Log in Create account

DEV Community

Hilary

404 bio not found

Joined on Jun 26, 2026

1 post published

0 comments written

0 tags followed

Installing Idris on Guix System

Jul 3

Installing Idris on Guix System

#linux #programming #tooling #tutorial

3 min read

loading...

💎 DEV Diamond Sponsors

Thank you to our Diamond Sponsors for supporting the DEV Community

Google AI - Official AI Model and Platform Partner

Google AI is the official AI Model and Platform Partner of DEV

Neon - Official Database Partner

Neon is the official database partner of DEV

Algolia - Official Search Partner

Algolia is the official search partner of DEV

DEV Community — A space to discuss and keep up software development and manage your software career

Home
DEV Challenges
DEV++
Videos
DEV Education Tracks
DEV Help
Advertise on DEV
Organization Accounts
DEV Showcase
About
Contact
Free Postgres Database
DEV Shop
MLH

Code of Conduct
Privacy Policy
Terms of Use

Built on Forem — the open source software that powers DEV and other inclusive communities.

Made with love and Ruby on Rails. DEV Community © 2016 - 2026.

DEV Community

We're a place where coders share, stay up-to-date and grow their careers.

Log in Create account