Commit Graph

4 Commits

Author SHA1 Message Date
Devine Lu Linvega b94d0204c2 Housekeeping on some of the example files 2022-07-22 11:57:45 -07:00
neauoire 9a59e9d1d9 (exercises/) Cleanup 2022-03-25 10:29:45 -07:00
neauoire cfedb19dca (primes.tal) Removed macros 2022-03-10 09:37:11 -08:00
neauoire df6f123c54 Added primes.tal exercise 2021-10-16 20:16:54 -07:00