Skip to content

Commit

Permalink
Mention Set[G] as al algebra
Browse files Browse the repository at this point in the history
  • Loading branch information
kryptt committed Aug 5, 2015
1 parent 41e93da commit af9cdb0
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions algebraic-data-types/src/main/tut/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -206,6 +206,8 @@

`List[G]` is the canonical implementation of the Monoid Algebra.

`Set[G]` is the canonical implementation of Boolean Algebra.

`List[Set[G]]` is the canonical implementation of Classical Linear Logic (CLL).

---
Expand Down

0 comments on commit af9cdb0

Please sign in to comment.