hope.git
9 years agoAdd specs to hope_kv_list helpers.
Siraaj Khandkar [Tue, 12 Aug 2014 20:58:53 +0000 (16:58 -0400)] 
Add specs to hope_kv_list helpers.

9 years agoClarify map lifting and application.
Siraaj Khandkar [Tue, 12 Aug 2014 20:31:08 +0000 (16:31 -0400)] 
Clarify map lifting and application.

9 years agoFix hope_kv_list:[iter/2, filter/2].
Siraaj Khandkar [Tue, 12 Aug 2014 19:51:52 +0000 (15:51 -0400)] 
Fix hope_kv_list:[iter/2, filter/2].

9 years agoFix typo.
Siraaj Khandkar [Tue, 12 Aug 2014 19:07:37 +0000 (15:07 -0400)] 
Fix typo.

9 years agoAdd some TODO notes.
Siraaj Khandkar [Tue, 12 Aug 2014 19:03:23 +0000 (15:03 -0400)] 
Add some TODO notes.

9 years agoSet-up Travis CI.
Siraaj Khandkar [Tue, 12 Aug 2014 18:29:37 +0000 (14:29 -0400)] 
Set-up Travis CI.

9 years agoAdd tests for hope_kv_list:set/3
Siraaj Khandkar [Tue, 12 Aug 2014 18:26:09 +0000 (14:26 -0400)] 
Add tests for hope_kv_list:set/3

9 years agoSet-up testing skeleton.
Siraaj Khandkar [Tue, 12 Aug 2014 18:17:40 +0000 (14:17 -0400)] 
Set-up testing skeleton.

9 years agoTidy-up Makefile.
Siraaj Khandkar [Tue, 12 Aug 2014 18:15:41 +0000 (14:15 -0400)] 
Tidy-up Makefile.

9 years agoImplement a Key->Value list dictionary.
Siraaj Khandkar [Tue, 12 Aug 2014 17:53:51 +0000 (13:53 -0400)] 
Implement a Key->Value list dictionary.

9 years agoDefine a general, dictionary interface/behavior.
Siraaj Khandkar [Tue, 12 Aug 2014 17:52:55 +0000 (13:52 -0400)] 
Define a general, dictionary interface/behavior.

9 years agoAdd hope_list:unique_preserve_order/1
Siraaj Khandkar [Thu, 7 Aug 2014 16:39:25 +0000 (12:39 -0400)] 
Add hope_list:unique_preserve_order/1

9 years agoAdd result:lift_exn/1
Siraaj Khandkar [Tue, 15 Jul 2014 01:08:20 +0000 (21:08 -0400)] 
Add result:lift_exn/1

9 years agoAdd specs.
Siraaj Khandkar [Tue, 15 Jul 2014 00:48:04 +0000 (20:48 -0400)] 
Add specs.

9 years agoUpdate line breaks to a more consistent style.
Siraaj Khandkar [Tue, 15 Jul 2014 00:29:58 +0000 (20:29 -0400)] 
Update line breaks to a more consistent style.

9 years agoChange to a more consistent alignment style.
Siraaj Khandkar [Tue, 15 Jul 2014 00:28:38 +0000 (20:28 -0400)] 
Change to a more consistent alignment style.

10 years agoImprove default target name.
Siraaj Khandkar [Sun, 10 Nov 2013 16:48:02 +0000 (11:48 -0500)] 
Improve default target name.

10 years agoAdd dialyzer target.
Siraaj Khandkar [Sun, 10 Nov 2013 16:47:06 +0000 (11:47 -0500)] 
Add dialyzer target.

10 years agoAdd result type module and define pipe.
Siraaj Khandkar [Sun, 10 Nov 2013 16:44:38 +0000 (11:44 -0500)] 
Add result type module and define pipe.

10 years agoAdd option type module.
Siraaj Khandkar [Sun, 10 Nov 2013 16:32:28 +0000 (11:32 -0500)] 
Add option type module.

10 years agoAdd Makefile.
Siraaj Khandkar [Sun, 10 Nov 2013 16:22:57 +0000 (11:22 -0500)] 
Add Makefile.

10 years agoAdd app skeleton.
Siraaj Khandkar [Sun, 10 Nov 2013 16:19:04 +0000 (11:19 -0500)] 
Add app skeleton.

10 years agoInitial commit.
Siraaj Khandkar [Sun, 10 Nov 2013 16:06:34 +0000 (11:06 -0500)] 
Initial commit.

This page took 0.020798 seconds and 4 git commands to generate.