polysemy-research/polysemy
1
1
Fork 0
mirror of https://github.com/polysemy-research/polysemy.git synced 2024-12-02 11:54:06 +03:00
Code Issues Projects Releases Wiki Activity
443 Commits 6 Branches 12 Tags 2 MiB
125cc5ec26
Commit Graph

42 Commits

Author SHA1 Message Date
TheMatten
ce0fa3d19e
Update README (#364) 
Update README
 2020-07-22 09:04:01 +02:00
Sridhar Ratnakumar
1406361675
Add zulip badge 
Funprog zulip has a dedicated stream for Polysemy where are a number of discussions are taking place. Sandy is participating as well. So why not make it the official chat for the project?

https://github.com/srid/rib also uses it.
 2020-01-18 16:54:21 -05:00
Sandy Maguire
c2edfb3f33 credit where credit is due 2019-11-05 21:21:38 +01:00
Sandy Maguire
931c325358 Add Paweł's talk 2019-11-05 14:01:17 +01:00
Dieter Houthooft
3fe084d4ed Add tutorial link in README.md (#222) 2019-09-04 07:36:41 -07:00
KingoftheHomeless
4a5f2ce92a
Add Final Effect (#217) 
* Add Final Effect

* Changes per review, Final at top-level, doc changes

* Update Changelog

* Final touches to Final

* Revert change to stack.yaml
 2019-08-30 22:38:53 +02:00
Kit Langton
93fc63ce8c Update README.md with Lift -> Embed renaming. (#190) 
Update README.md with `Lift` -> `Embed` renaming.
 2019-07-27 20:53:35 +02:00
Jack Henahan
c53357ca92 Add performance instructions to README (#185) 2019-07-24 08:35:44 -04:00
Sandy Maguire
de1607ea1b
Rename everything and its grandmother (#175) 2019-07-15 12:40:42 -04:00
Georgi Lyubenov
48b6768ad4 Rename Lift to Embed (#161) 
* Move Polysemy.Internal.Lift to Polysemy.Lift.Type

* Add Polysemy.Lift module and runLift interpreter

* Add a Sandy reminder

* Add explicit foralls and split type signature

* Fix import spacing, for there is no "qualified"

* Implement runIO in terms of runLift

* Rename Lift -> Embed

* Replace sendM with embed

* Add a Sandy todo for embed version

* Rename runEmbed and related runEmbedded (from IO)

* runEmbedded -> runEmbeddedInIO
* runEmbed -> runEmbedded

* Update cabal
 2019-07-11 11:02:26 -04:00
Sandy Maguire
dc1489297a Fix build badge 2019-06-24 17:05:14 -04:00
Sandy Maguire
b7f2922c3a
Better Resource bracketing (#87) 2019-06-12 09:36:08 -04:00
Sandy Maguire
7d256e2b8f WORLDS BEST LOGO (#72) 2019-05-30 03:11:35 -04:00
Sandy Maguire
ad42c75fcf Release polysemy 0.2.1.0 2019-05-27 01:16:14 -04:00
Sandy Maguire
aefb1deef0 Add plugin badge to the README 2019-05-23 19:24:57 -04:00
Jack Henahan
049f74aa99 Remove erroneous Prelude import (#59) 2019-05-23 12:50:15 -04:00
Chris Sasarak
e76fee6213 Modify the 'Resource effect' example to work without polysemy-plugin. 2019-05-13 21:21:32 -04:00
Chris Sasarak
f6760b4968 Document activation and installation of polysemy-plugin. 
Addresses Issue #27
 2019-05-13 21:21:32 -04:00
Jack Henahan
6b8e6ec208
Unnecessary import 2019-04-30 15:23:02 -04:00
Jack Henahan
a205241050
Simplify! 2019-04-30 15:18:46 -04:00
Jack Henahan
1024edeaf3
Extend examples, make them easy to copy and paste 
For the purpose of getting new users off on the right foot
immediately, I added the necessary pragmas to get these working, and
built out a trivial example of how to actually use `runConsoleIO` and
`runResource`.
 2019-04-30 13:17:29 -04:00
Sandy Maguire
b125a9838f Mention the plugin in the readme 2019-04-27 23:54:33 -04:00
Sandy Maguire
1f6ce77413 Merge branch 'master' of https://github.com/CaptJakk/polysemy into CaptJakk-master 2019-04-19 12:13:11 -04:00
Sandy Maguire
44d6306f43 Documentation fixes from the user study with @gelisam 2019-04-19 11:52:43 -04:00
Armando Ramirez
1a5237462f
LANGUAGE typo 2019-04-10 16:11:41 -07:00
Sandy Maguire
bfc3c888f6 ok it's not THAT fast 2019-04-10 16:40:56 -04:00
Sandy Maguire
8d85a04302 final cleanup 2019-04-10 16:27:25 -04:00
Sandy Maguire
25a875cd3f readme 2019-04-10 16:22:07 -04:00
Sandy Maguire
6be3322a91 readme 2019-04-10 16:11:36 -04:00
Sandy Maguire
a5c85b7a2c ops 2019-04-10 00:18:18 -04:00
Sandy Maguire
6f7749cfcd hackage badge 2019-04-10 00:17:26 -04:00
Sandy Maguire
c5c0a6c7c0 put travis badge on readme 2019-04-10 00:12:34 -04:00
Sandy Maguire
15e378cf0a better names for tactics 2019-04-08 16:04:21 -04:00
Sandy Maguire
336451287d TH, baby! 2019-04-08 01:14:14 -04:00
Sandy Maguire
12aa92836f loop breakers 2019-04-08 00:29:29 -04:00
Sandy Maguire
b69bba9dd0 update readme 2019-03-21 10:27:48 -04:00
Sandy Maguire
352c55ec62 make TH work with newtypes 2019-03-20 19:36:49 -04:00
Sandy Maguire
546cf16e1b use default pragmas 2019-03-20 09:53:22 -04:00
Sandy Maguire
5d7d957b9a -> polysemy 2019-03-19 23:42:18 -04:00
Sandy Maguire
80ab98692b fancy type errors 2019-03-19 13:52:29 -04:00
Sandy Maguire
2be94abfd1 tests 2019-03-18 23:04:21 -04:00
Sandy Maguire
9c8162a5b1 GLORY 2019-02-13 15:52:56 -05:00