Skip to content

Mimozar Blog

Musing on Technology in the Society

Month: August 2014

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
August 2014
M T W T F S S
 123
45678910
11121314151617
18192021222324
25262728293031
Jun   Sep

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.