Document how defn/implicit do with multiple goals does not work

Description

Environment

Attachments

1
logic-repl.txt
05 Aug, 2016

Activity

Oskar Wickström 
August 5, 2016 at 1:48 PM

Oskar Wickström 
August 5, 2016 at 12:03 PM

Details

Assignee

Reporter

Priority

Created August 5, 2016 at 12:01 PM
Updated August 5, 2016 at 1:48 PM
Loading...