- 01 Dec, 2020 1 commit
-
-
Nicola Botta authored
-
- 30 Nov, 2020 2 commits
-
-
Nicola Botta authored
-
Nicola Botta authored
-
- 25 Nov, 2020 1 commit
-
-
Nicola Botta authored
-
- 26 Oct, 2020 1 commit
-
-
Nicola Botta authored
-
- 22 Oct, 2020 1 commit
-
-
Nicola Botta authored
-
- 16 Oct, 2020 2 commits
-
-
Nicola Botta authored
-
Nicola Botta authored
-
- 25 Sep, 2020 1 commit
-
-
Nicola Botta authored
-
- 22 Sep, 2020 4 commits
-
-
Nicola Botta authored
-
Nicola Botta authored
-
Nicola Botta authored
-
Nicola Botta authored
-
- 18 Sep, 2020 1 commit
-
-
Patrik Jansson authored
-
- 17 Sep, 2020 2 commits
-
-
-
Cezar Ionescu authored
-
- 16 Sep, 2020 2 commits
-
-
Nicola Botta authored
-
Nicola Botta authored
-
- 17 Aug, 2020 1 commit
-
-
Nuria Brede authored
-
- 10 Aug, 2020 2 commits
-
-
Nuria Brede authored
-
Nuria Brede authored
-
- 06 Aug, 2020 2 commits
-
-
Nicola Botta authored
-
Nicola Botta authored
-
- 16 Jul, 2020 1 commit
-
-
Nuria Brede authored
-
- 30 Jan, 2020 1 commit
-
-
Nicola Botta authored
Proofs of properties have now an explicit 'is' radix: 'joinIsNatTrans' instead of 'joinNatTrans' or 'natTransJoin'. This should allow to cope with 'MisMonad' cases in an halfway seamless way.
-
- 29 Jan, 2020 7 commits
-
-
Nicola Botta authored
-
Nicola Botta authored
-
Nicola Botta authored
-
Nicola Botta authored
-
Nicola Botta authored
-
Nicola Botta authored
-
Nicola Botta authored
-
- 18 Jan, 2020 3 commits
-
-
Tim Richter authored
-
Nicola Botta authored
-
Nicola Botta authored
-
- 16 Jan, 2020 5 commits
-
-
Nicola Botta authored
-
Nicola Botta authored
-
Nicola Botta authored
-
Nicola Botta authored
-
Nicola Botta authored
-