README.md · 64e79cc73dc21518fd52d0a998f8125fc841172b · Christoph Schwering / limbo · GitLab

May 25, 2017
64e79cc7
Replaced Grounder::Assignments now uses generic mapping_iterator. · 64e79cc7
Christoph Schwering authored May 25, 2017
```
This cleans up the Grounder::Assignments code a bit.
```
64e79cc7
Replaced Grounder::Assignments now uses generic mapping_iterator.
Christoph Schwering authored May 25, 2017
```
This cleans up the Grounder::Assignments code a bit.
```