Smimram Log


Commit Date  
[e0bc08] (defaulttip) by smimram@aec24677-d710-0410-a355-ac75e2bdf181

Working derivation, we now need to use the state monad...

2011-01-26 14:48:28 Tree
[28f526] by smimram@aec24677-d710-0410-a355-ac75e2bdf181

Derivation is starting to work...

2011-01-25 20:13:28 Tree
[4e6003] by smimram@aec24677-d710-0410-a355-ac75e2bdf181

Non-destructive unification.

2011-01-25 19:02:16 Tree
[d1d31c] by smimram@aec24677-d710-0410-a355-ac75e2bdf181

Better in-place unification.

2011-01-25 14:48:17 Tree
[d59295] by smimram@aec24677-d710-0410-a355-ac75e2bdf181

More elegant implementation of explicit monads.

2011-01-25 14:34:07 Tree
[6953d9] by smimram@aec24677-d710-0410-a355-ac75e2bdf181

Better type comparison + allow explicit return and bind.

2011-01-25 14:28:52 Tree
[680c53] by smimram@aec24677-d710-0410-a355-ac75e2bdf181

Add modeline.

2011-01-24 18:05:09 Tree
[d51fc5] by smimram@aec24677-d710-0410-a355-ac75e2bdf181

Correct frequency modulation.

2011-01-21 16:51:08 Tree
[280ebc] by smimram@aec24677-d710-0410-a355-ac75e2bdf181

Add pairs + started adding feedback.

2011-01-21 12:00:50 Tree
[ebdb18] by smimram@aec24677-d710-0410-a355-ac75e2bdf181

Better and simpler syntax.

2011-01-21 09:54:32 Tree
[3d1c68] by smimram@aec24677-d710-0410-a355-ac75e2bdf181

Better style.

2011-01-20 23:10:26 Tree
[238bf7] by smimram@aec24677-d710-0410-a355-ac75e2bdf181

Better code generation for floats.

2011-01-20 23:06:56 Tree
[3a8905] by smimram@aec24677-d710-0410-a355-ac75e2bdf181

Hack to have better notation for floats.

2011-01-20 22:54:11 Tree
[aa91c8] by smimram@aec24677-d710-0410-a355-ac75e2bdf181

Add support for strings and saving files.

2011-01-20 13:26:57 Tree
[91298e] by smimram@aec24677-d710-0410-a355-ac75e2bdf181

Good implementation of monad lifting. Let the fun begin.

2011-01-20 13:12:21 Tree
[a0aec2] by smimram@aec24677-d710-0410-a355-ac75e2bdf181

Add support for booleans.

2011-01-19 09:26:33 Tree
[721a0b] by smimram@aec24677-d710-0410-a355-ac75e2bdf181

Subtyping is beginning to work nicely.

2011-01-19 08:53:05 Tree
[a7765b] by smimram@aec24677-d710-0410-a355-ac75e2bdf181

We can now play sine AND saw at the same time.

2011-01-18 15:17:23 Tree
[fc6859] by smimram@aec24677-d710-0410-a355-ac75e2bdf181

Name monad operations.

2011-01-18 12:23:51 Tree
[627416] by smimram@aec24677-d710-0410-a355-ac75e2bdf181

Funny things don't work.

2011-01-17 19:30:27 Tree
[d9673c] by smimram@aec24677-d710-0410-a355-ac75e2bdf181

Nice expression of saw waveform.

2011-01-17 19:15:47 Tree
[74b784] by smimram@aec24677-d710-0410-a355-ac75e2bdf181

Now we get a nice sine...

2011-01-17 18:53:36 Tree
[49fbb1] by smimram@aec24677-d710-0410-a355-ac75e2bdf181

First sound :) We still have a long way to go...

2011-01-17 18:50:49 Tree
[b8801c] by smimram@aec24677-d710-0410-a355-ac75e2bdf181

Correct type inference and normalization.

2011-01-17 14:02:37 Tree
[c8378a] by smimram@aec24677-d710-0410-a355-ac75e2bdf181

Now with monads which are starting to work.

2011-01-17 09:17:05 Tree
Older >

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks