diff options
| author | Eduardo Julian | 2015-09-12 22:36:34 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2015-09-12 22:36:34 -0400 |
| commit | c9560da3760d0d277a715a966496451020f3f2f8 (patch) | |
| tree | a0cb370dee25c4e1b919cc8e4ea936823389e59e /.gitignore | |
| parent | 45a102bae3707d1a5220d7e124221ed46882f22d (diff) | |
- Added exhaustiveness testing for exception-handling code.
- Added some optimizations for using List & Maybe within the compiler.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions