diff options
| author | Eduardo Julian | 2015-05-01 21:58:55 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2015-05-01 21:58:55 -0400 |
| commit | 6bb629a6917176ec46fee119b3b21fb1781cba78 (patch) | |
| tree | 24cbff805c7489d1d6bbae6c80ed3cf8da0bc460 /.gitignore | |
| parent | 52d428514631cf9ed54e2f8ad418ea21165011c7 (diff) | |
- Added existential types via #ExT.
- Removed the (now useless) lux.type/is-Type? function.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions