Brian Hicks
|
d6879da602
|
implement eq and ord for shape
|
2021-11-08 09:52:39 -06:00 |
Brian Hicks
|
2c704f6faa
|
examples early in Chapter 7
|
2021-11-08 09:45:56 -06:00 |
Brian Hicks
|
e214ec31ee
|
implement 6.2 exercises
|
2021-09-22 16:22:12 -05:00 |
Brian Hicks
|
d969a2ee83
|
add 6.1 and 6.2 stuff
|
2021-09-22 16:13:58 -05:00 |
Brian Hicks
|
76529d284d
|
add stuff from book club
|
2021-09-17 11:04:38 -05:00 |
Brian Hicks
|
8716a2929f
|
add chapter 5 stuff
|
2021-09-17 10:28:51 -05:00 |
Brian Hicks
|
1b14c18110
|
implement the guessing game exercise
|
2021-09-13 12:50:54 -05:00 |
Brian Hicks
|
ea3f2396fd
|
add countdowns example
|
2021-09-13 12:34:18 -05:00 |
Brian Hicks
|
7d8c341905
|
exercise 4.3.2
|
2021-08-27 09:07:31 -05:00 |
Brian Hicks
|
18eba42b75
|
exercise 4.3.1
|
2021-08-27 09:07:24 -05:00 |
Brian Hicks
|
7320571c2e
|
add basic code example for 4.3
|
2021-08-27 08:46:48 -05:00 |
Brian Hicks
|
4deb22a842
|
complete section 4.2 exercises
|
2021-08-27 08:27:35 -05:00 |
Brian Hicks
|
9e7e351683
|
work through the Vect exercise
|
2021-08-27 08:15:15 -05:00 |
Brian Hicks
|
299efa111c
|
add vehicle example
|
2021-08-27 08:01:57 -05:00 |
Brian Hicks
|
8082d0d214
|
catching up on commits
|
2021-08-27 07:57:42 -05:00 |
Brian Hicks
|
b86f79d201
|
add scratch module
|
2021-08-19 16:49:49 -05:00 |
Brian Hicks
|
786606bca8
|
add chapter 2 exercises
|
2021-08-19 16:49:45 -05:00 |
Brian Hicks
|
74f88da68a
|
add sample from chapter 2
|
2021-08-03 06:05:31 -05:00 |
Brian Hicks
|
38491607da
|
add sample from chapter 1
|
2021-08-03 06:05:27 -05:00 |
Brian Hicks
|
6b74ef6fb2
|
add rlwrap for nicer REPL usage
|
2021-08-03 06:05:15 -05:00 |
Brian Hicks
|
012cbe793f
|
update to nixpkgs-unstable to get Idris2 0.4.0
|
2021-08-03 06:05:04 -05:00 |
Brian Hicks
|
16baa8525b
|
add hello world
|
2021-08-02 05:58:48 -05:00 |
Brian Hicks
|
4edd45e347
|
add editor test file
|
2021-07-30 10:21:15 -05:00 |
Brian Hicks
|
0d524663a9
|
ignore /build
|
2021-07-30 06:30:08 -05:00 |
Brian Hicks
|
d05cfb11a8
|
initialize an Idris project
|
2021-07-30 06:26:26 -05:00 |
Brian Hicks
|
c42d70a8f7
|
nixify
|
2021-07-30 05:54:38 -05:00 |