https://github.com/active-group/tutorialtag-2024

Sammel-Repository für Themen des Tutorialtags der Active Group am 18.04.2024
https://github.com/active-group/tutorialtag-2024

Last synced: 12 months ago
JSON representation

Sammel-Repository für Themen des Tutorialtags der Active Group am 18.04.2024

• Host: GitHub
• URL: https://github.com/active-group/tutorialtag-2024
• Owner: active-group
• Created: 2024-04-18T07:48:54.000Z (about 2 years ago)
• Default Branch: main
• Last Pushed: 2024-04-18T12:44:13.000Z (about 2 years ago)
• Last Synced: 2024-04-19T09:02:05.570Z (about 2 years ago)
• Language: Nix
• Size: 4.88 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# Handouts + Links Tutorialtag 18.04.2024

| Tutorial         | Link                                                              |

|:-----------------|:------------------------------------------------------------------|

| Isabelle/HOL     | https://github.com/active-group/tutorialtag-2024-isabelle         |

| DDD vs. FP       | https://github.com/active-group/tutorialtag-2024-ddd-fp           |

| Daten in Clojure | https://github.com/active-group/tutorialtag-2024-daten-in-clojure |