Adding a constructor for reflexive transitive closures into bi's See merge request !375
00:09:04
Feb 14, 2020
00:07:06
00:07:44
00:08:32
00:15:10