GuillaumeGomez 7b973ba827 Update to last version, remove "[]" as much as possible

2015-02-06 12:03:46 +01:00

..

common.rs

remove all kind annotations from closures

2015-02-04 20:06:08 -05:00

lev_distance.rs

undo some conversions

2015-01-29 07:49:02 -05:00

nodemap.rs

for x in xs.iter() -> for x in &xs

2015-02-02 13:40:18 -05:00

ppaux.rs

Update to last version, remove "[]" as much as possible

2015-02-06 12:03:46 +01:00

snapshot_vec.rs

Cleanup the unification engine to use associated types, making the code much easier to read.

2015-01-27 09:40:45 -05:00