Commit graph

Select branches

Hide pull requests

main

Mono Color

• 922266f917 Implement freeVars main Manuel Thalmann 2024-06-17 00:36:43 +0200
• 601ef93a70 Rename variable Manuel Thalmann 2024-06-17 00:31:18 +0200
• 08ed943d56 Add support for printing constants Manuel Thalmann 2024-06-17 00:26:34 +0200
• bfb920ca74 Explain parenthesis rules Manuel Thalmann 2024-06-17 00:23:26 +0200
• 7b20e2a047 Solve exercise 4 Manuel Thalmann 2024-06-17 00:20:32 +0200
• 14fdbdd074 Solve exercise 3 Manuel Thalmann 2024-06-17 00:07:02 +0200
• e710a68bf3 Reorder all slide tasks Manuel Thalmann 2024-06-17 00:02:00 +0200
• 05e5b9d300 Reorder declarations Manuel Thalmann 2024-06-17 00:01:19 +0200
• f0673525ee Solve exercise 2 Manuel Thalmann 2024-06-16 23:59:43 +0200
• d77d0020a2 Solve exercise 1 Manuel Thalmann 2024-06-16 23:49:48 +0200
• c2ab01c161 Implement the pretty function Manuel Thalmann 2024-06-16 23:47:06 +0200
• 7e360c357e Add a lambda term type Manuel Thalmann 2024-06-16 23:46:51 +0200
• cf5867e616 Make shapes contained in output Manuel Thalmann 2024-06-16 23:31:56 +0200
• d017ccd848 Implement combined functions Manuel Thalmann 2024-06-16 23:27:38 +0200
• 29a62ecc21 Change size of output figures Manuel Thalmann 2024-06-16 23:04:02 +0200
• 033f951150 Watch bash scripts Manuel Thalmann 2024-06-16 23:03:46 +0200
• 6ec26a5769 Add scripts for building EDSL scripts Manuel Thalmann 2024-06-16 23:02:59 +0200
• b46f7563db Add presentation 6 Manuel Thalmann 2024-06-16 22:52:25 +0200
• 1f2bf479c7 Add files for lab 7 Manuel Thalmann 2024-06-16 22:38:20 +0200
• 31032ddf60 Add files for Exercise 6 Manuel Thalmann 2024-06-16 22:32:20 +0200
• 326ab69152 Show input variables in tests Manuel Thalmann 2024-06-16 21:36:38 +0200
• 6d53c63bdf Create a Covariant implementation Manuel Thalmann 2024-06-16 21:34:16 +0200
• 0317fcf8b1 Solve functor Task 2 Manuel Thalmann 2024-06-16 20:33:44 +0200
• 1708105d9f Solve Functor task 1 Manuel Thalmann 2024-06-16 19:54:14 +0200
• e9a406a7b7 Add a functor example Manuel Thalmann 2024-06-16 19:19:59 +0200
• 7772699814 Add files for lab 5 Manuel Thalmann 2024-06-16 19:19:50 +0200
• 93cca003c9 Implement a tribonacci sequence Manuel Thalmann 2024-06-16 18:00:56 +0200
• bfe5475ca6 Calculate primes using sieve Manuel Thalmann 2024-06-16 15:04:30 +0200
• c622d4d12e Add heading for exercise 3 Manuel Thalmann 2024-06-16 15:01:15 +0200
• 7b0feead6e Solve continuation task Manuel Thalmann 2024-06-16 14:56:36 +0200
• 7b1c3220f1 Solve accumulator task Manuel Thalmann 2024-06-16 14:37:03 +0200
• 245626cb1e Solve slide tasks Manuel Thalmann 2024-06-16 14:22:43 +0200
• ef1ff6c27a Improve filesystem solution Manuel Thalmann 2024-06-16 14:22:08 +0200
• 67fbeab9a6 Solve first few tasks Manuel Thalmann 2024-06-16 11:08:56 +0200
• 7260bae078 Add files for lab 4 Manuel Thalmann 2024-06-15 23:41:36 +0200
• 7b4b2593ac Solve Regex task Manuel Thalmann 2024-06-15 22:59:46 +0200
• d6029978c7 Add Regex template Manuel Thalmann 2024-06-15 21:27:05 +0200
• c631790636 Implement file system functions Manuel Thalmann 2024-06-15 21:25:22 +0200
• f71ef5723f Add file system template Manuel Thalmann 2024-06-15 18:16:40 +0200
• 4580f58d9a Update output to new version Manuel Thalmann 2024-06-15 18:14:42 +0200
• d8f7056f96 Improve format of haskell statements Manuel Thalmann 2024-06-15 18:14:32 +0200
• f473f59f35 Add files for exercise 3 Manuel Thalmann 2024-06-15 18:10:45 +0200
• 950be7fa7b Fix incorrect task heading Manuel Thalmann 2024-06-15 18:09:06 +0200
• 53f4a4971a Track PDF files using lfs Manuel Thalmann 2024-06-15 17:56:19 +0200
• f0481a1c17 Solve exercise 2 Manuel Thalmann 2024-03-14 22:47:54 +0100
• 4d3cce8130 Solve first lab Manuel Thalmann 2024-03-14 19:03:10 +0100
• f3d045073d Add lab01 Manuel Thalmann 2024-03-14 18:39:17 +0100
• 4503171ec3 Solve last task Manuel Thalmann 2024-03-14 18:34:27 +0100
• 7676005844 Solve task 03 Manuel Thalmann 2024-03-14 18:15:35 +0100
• 37ba1cb36d Solve task 02 Manuel Thalmann 2024-03-14 18:02:18 +0100
• 0649df9598 Solve first task Manuel Thalmann 2024-03-14 15:56:10 +0100
• 3bb0b1ead0 Add files for lab 01 Manuel Thalmann 2024-03-14 14:59:07 +0100
• dffb3bdce3 Initial commit Manuel Thalmann 2024-03-05 14:23:41 +0000