- 27 Jan, 2021 1 commit
-
-
Simon Foster authored
New "chantype" command allows the definition of an algebraic datatype with generated prisms. New "dataspace" command allows the definition of a local-based state space, including lenses and prisms. Addition of various examples.
-
- 24 Jan, 2021 3 commits
- 23 Jan, 2021 1 commit
-
-
kleing authored
-
- 22 Jan, 2021 1 commit
-
-
nipkow authored
-
- 20 Jan, 2021 9 commits
-
-
Simon Wimmer authored
-
Simon Wimmer authored
-
Simon Wimmer authored
-
Simon Wimmer authored
-
Simon Wimmer authored
-
Akihisa Yamada authored
-
Akihisa Yamada authored
-
Akihisa Yamada authored
-
Akihisa Yamada authored
-
- 19 Jan, 2021 4 commits
-
-
Lawrence Paulson authored
-
Lawrence Paulson authored
-
Fabian Huch authored
-
Asta H. From authored
-
- 18 Jan, 2021 4 commits
-
-
Simon Wimmer authored
-
nipkow authored
-
Simon Wimmer authored
-
sterraf authored
-
- 17 Jan, 2021 4 commits
- 16 Jan, 2021 1 commit
-
-
Lawrence Paulson authored
-
- 15 Jan, 2021 1 commit
-
-
kleing authored
-
- 13 Jan, 2021 1 commit
-
-
nipkow authored
-
- 12 Jan, 2021 4 commits
-
-
kleing authored
-
kleing authored
-
Manuel Eberl authored
-
Manuel Eberl authored
-
- 08 Jan, 2021 6 commits
-
-
Manuel Eberl authored
-
wenzelm authored
-
Lawrence Paulson authored
-
wenzelm authored
-
wenzelm authored
-
Rene Thiemann authored
-