Skip to content

Mimozar Blog

Musing on Technology in the Society

Category: Idris

Idris, a dependent typed functional programming language: install and run on OS X Mavericks

Installing and running Idris programming language on OS X Mavericks. As often in my experience, the package dependency management is rather weak. Fortunately, with a small detour I could work around my issues.

Share this:

  • LinkedIn
  • Reddit
Published August 2, 2014
Categorised as Dependent Types, Haskell, Idris, Programming
May 2023
M T W T F S S
1234567
891011121314
15161718192021
22232425262728
293031  
Mar    

Recent musings

  • Somebody is wrong on the Internet March 6, 2023
  • AI Strategy, throwing pasta against the wall? February 6, 2023

Tags

8 GB RAM (1) AI (3) Android (1) App (1) architecture (5) blogging (2) Cloud (6) Culture (3) Fun (2) General (25) Google (2) Internet (3) iOS (2) IT Architecture (9) java (2) Leadership (2) Learning (2) liberal arts (2) MacBook Pro late 2008 (3) Mac OSX Lion (2) management (3) Microsoft (4) Mobile (2) Multi-culturalism (2) open source (4) OS Platform (2) OS X Mountain Lion (2) Programming (15) publishing (2) Ruby on Rails (2) Security (3) Skeuomorphism (2) Social matters (3) social media (3) software (2) software architecture (2) Software design (10) strategy (2) Technology (15) UI (2) User Experience (4) vulnerability (2) web development (2) Windows (3) Windows 8 (4)
Privacy & Cookies: This site uses cookies. By continuing to use this website, you agree to their use.
To find out more, including how to control cookies, see here: Cookie Policy
Mimozar Blog
Proudly powered by WordPress.