Issues
- 0
Theorems for free
#37 opened by ajoz - 0
Types of polymorphism
#34 opened by ajoz - 1
- 0
- 0
- 0
- 1
- 0
Reworking Part 2 to not focus only of folds
#31 opened by ajoz - 1
- 1
- 2
Cleanup the Java project gradle configuration
#28 opened by ajoz - 2
- 1
Unmappable character for encoding Cp 1252
#24 opened by AlexZhukovich - 4
- 0
Explain different type of morphisms
#23 opened by ajoz - 0
Create CI configuration
#19 opened by ajoz - 0
Move the workshop to our org
#17 opened by ajoz - 0
- 0
- 0
Extend the workshop beyond beginner material
#14 opened by ajoz - 0
- 0
- 1
Rework the Part 1 practice for Java and Kotlin
#9 opened by ajoz - 2
Refactor Part 1 Exercise 7 for Java and Kotlin
#8 opened by ajoz - 2
Refactor Part 1 Exercise 6 for Java and Kotlin
#7 opened by ajoz - 2
Part 1 Exercise 5 for Java and Kotlin is missing
#6 opened by ajoz - 0
Add Lazy Stream built as a Sum type. Stream = Cons | Nil just like in a List but the implementation is different. Cons points to a Value and a tail that is a supplier of Stream.
#11 opened by ajoz - 0
Add Validation (Applicative) Do we want to introduce it in beginner intermediate level?
#10 opened by ajoz