Commits · master · Nicola Botta / IdrisLibs

Mar 07, 2025
- Cleanup. · 5cb65911
  Nicola Botta authored 1 month ago
  
  5cb65911
Mar 06, 2025
- Some more work. · f13b46fb
  Nicola Botta authored 1 month ago
  
  f13b46fb
Mar 04, 2025
- Merge branch 'master' of gitlab.pik-potsdam.de:botta/IdrisLibs · 2c64721f
  Nicola Botta authored 1 month ago
  
  2c64721f
- Modified notation consistently with hand-written analysis. · 8c00cd3a
  Nicola Botta authored 1 month ago
  
  8c00cd3a
Jul 22, 2021
- Moved to unshared. · dfd6c06d
  Nicola Botta authored 3 years ago
  
  dfd6c06d
- Merge branch 'master' of https://gitlab.pik-potsdam.de/botta/IdrisLibs · e25d4069
  Nicola Botta authored 3 years ago
  
  e25d4069
- Cleanup after meeting. · b4d1f852
  Nicola Botta authored 3 years ago
  
  b4d1f852
- Merge branch 'master' of gitlab.pik-potsdam.de:botta/IdrisLibs · 9efb53fe
  Nuria Brede authored 3 years ago
  
  9efb53fe
- Initial. · 2e930dd9
  Nuria Brede authored 3 years ago
  
  2e930dd9
- Merge branch 'master' of https://gitlab.pik-potsdam.de/botta/IdrisLibs · 5251e334
  Nicola Botta authored 3 years ago
  
  5251e334
- Completed proof of S2. · a5244606
  Nicola Botta authored 3 years ago
  
  a5244606
Jul 21, 2021
- Added an observation · fc2ba0af
  Jeremy Gibbons authored 3 years ago
  
  fc2ba0af
- Cleanup. · 88c4e5bf
  Nicola Botta authored 3 years ago
  
  88c4e5bf
- Initial. · e2941ae5
  Nicola Botta authored 3 years ago
  
  e2941ae5
Jul 20, 2021
- Cleanup. · 6fb07585
  Nicola Botta authored 3 years ago
  
  6fb07585
- Cleanup. · f0464f34
  Nicola Botta authored 3 years ago
  
  f0464f34
- Initial. · 9a97c8a7
  Nicola Botta authored 3 years ago
  
  9a97c8a7
Jul 13, 2021
- Merge branch 'master' of https://gitlab.pik-potsdam.de/botta/IdrisLibs · c52a593c
  Nicola Botta authored 3 years ago
  
  c52a593c
- Copy of unshared/notes/2021.coinduction · 56170245
  Nicola Botta authored 3 years ago
  
  56170245
Mar 19, 2021
- Added hole to make an example for Edwin. · 07737026
  Nicola Botta authored 4 years ago
  
  07737026
Feb 25, 2021
- Cleanup. · 81d592fb
  Nicola Botta authored 4 years ago
  
  81d592fb
- Cleanup. · 0927ed60
  Nicola Botta authored 4 years ago
  
  v1.3.3
  
  0927ed60
- Cleanup. · 0896e0e0
  Nicola Botta authored 4 years ago
  
  0896e0e0
Feb 23, 2021
- Initial. · d7dffdca
  Nuria Brede authored 4 years ago
  
  d7dffdca
- Remove. · 432816bc
  Nuria Brede authored 4 years ago
  
  432816bc
Feb 20, 2021
- Initial. · d216d5a1
  Nuria Brede authored 4 years ago
  
  d216d5a1
- Initial. · 84bea47a
  Nuria Brede authored 4 years ago
  
  84bea47a
- Uncomment minList. · c9fe0dfb
  Nuria Brede authored 4 years ago
  
  c9fe0dfb
- Added missing --allow-capitalized-pattern-variables. · 0edc7d38
  Nuria Brede authored 4 years ago
  
  0edc7d38
- Corrected title. · 2c9c45bd
  Nuria Brede authored 4 years ago
  
  2c9c45bd
- Minor. · e2284cad
  Nuria Brede authored 4 years ago
  
  e2284cad
- Removing old sources and adding supplementary material for revision. · aa43b42d
  Nuria Brede authored 4 years ago
  
  aa43b42d
- Initial. · d4797083
  Nuria Brede authored 4 years ago
  
  d4797083
Dec 01, 2020
- Example completed. · f2b768b6
  Nicola Botta authored 4 years ago
  
  f2b768b6
Nov 30, 2020
- Finalizing. · f8df183b
  Nicola Botta authored 4 years ago
  
  f8df183b
- Initial. · 7d15e050
  Nicola Botta authored 4 years ago
  
  7d15e050
Nov 25, 2020
- Initial. · e6c6b270
  Nicola Botta authored 4 years ago
  
  e6c6b270
Oct 26, 2020
- Adding Kleisli composition. · efd71111
  Nicola Botta authored 4 years ago
  
  efd71111
Oct 22, 2020
- Update. · a122822d
  Nicola Botta authored 4 years ago
  
  a122822d
Oct 16, 2020
- Update. · 3c4697b9
  Nicola Botta authored 4 years ago
  
  3c4697b9