prescientmoon
4810f54c4f
Add purescript/reverse-state
...
* commit 'e007fc9bf7186eb4131b9a55dbc3bf6adc821040':
purescript(reverse-state): feat: working reverse state
purescript(reverse-state): feat: failed to use run
2024-10-12 03:48:14 +02:00
prescientmoon
ef25c02f0e
Add new repos to readme
2024-09-01 01:03:11 +02:00
prescientmoon
1510efc23e
Add purescript/switcheroo
...
* commit 'ca3cb6ae29f55d184ca1df95b5287859e847e1f2':
purescript(switcheroo): Simplified types
purescript(switcheroo): POC
purescript(switcheroo): Initialized repo
2024-09-01 00:51:22 +02:00
prescientmoon
40db6f8b37
Add 'factorio-throughput'
2024-03-04 14:34:35 +01:00
Matei Adriel
f0214ccd88
Add purescript/thumbor
2023-11-15 04:27:25 +01:00
Matei Adriel
8ebe233bec
Added strategy
2023-10-29 02:53:29 +01:00
Matei Adriel
553809fc56
Add kombinators
2023-10-29 02:44:23 +02:00
Matei Adriel
05d04490e8
Add free
2023-10-29 02:17:37 +02:00
Matei Adriel
8456714ab4
Add purebird
2023-10-29 02:11:28 +02:00
Matei Adriel
1259904c07
Add lunarline
2023-10-29 02:10:10 +02:00
Matei Adriel
f055d600fd
Add lambda calculus
2023-10-29 02:03:27 +02:00
Matei Adriel
df8492f6ba
Add purescript/slice
2023-10-29 01:21:05 +02:00
Matei Adriel
14461ac786
Document purescript experiments
2023-10-29 01:13:57 +02:00
Matei Adriel
ae1141ae39
Add canopy
2023-10-29 00:44:23 +02:00
Matei Adriel
ca3f83d186
Move stuff around + add lean and idris experiments
2023-10-29 00:02:10 +02:00
Matei Adriel
3f6091369a
Commiting some old changes
2023-06-04 15:29:29 +02:00
Matei Adriel
ca3cb6ae29
purescript(switcheroo): Simplified types
...
Signed-off-by: prescientmoon <git@moonythm.dev>
2023-02-13 13:19:56 +01:00
Matei Adriel
a1f2c01651
purescript(switcheroo): POC
...
Signed-off-by: prescientmoon <git@moonythm.dev>
2023-02-08 19:32:08 +01:00
Matei Adriel
ad12ca0bff
purescript(switcheroo): Initialized repo
...
Signed-off-by: prescientmoon <git@moonythm.dev>
2023-02-08 16:20:24 +01:00
Matei Adriel
0bb81bfc46
feat: basic rendering
2021-04-04 00:37:14 +03:00
Matei Adriel
fe0816d037
build: basic esbuild setup
2021-04-04 00:36:18 +03:00
Matei Adriel
3f5d49190f
feat: basic constraint solving
2021-04-01 19:29:27 +03:00
Matei Adriel
e007fc9bf7
purescript(reverse-state): feat: working reverse state
...
Signed-off-by: prescientmoon <git@moonythm.dev>
2020-11-17 12:16:14 +02:00
Matei Adriel
eb66415103
purescript(reverse-state): feat: failed to use run
...
Signed-off-by: prescientmoon <git@moonythm.dev>
2020-11-16 13:26:43 +02:00
prescientmoon
