Commit 474f918

committed

defn: free groups in terms of words

1 parent 77f9a16 commit 474f918Copy full SHA for 474f918

3 files changed

+618

-1

lines changed

src
- Algebra/Group/Free
  - Words.lagda.md
- Data
  - Dec
    - Base.lagda.md
  - List
    - Base.lagda.md

3 files changed

+618

-1

lines changed

Comments

(0)