Commit Graph

26 Commits (main)

Author SHA1 Message Date
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