Edwin Brady 106235c165 Allow scripts to inspect goal ... If available (sometimes, say a top level expression, it might need inferring so there'll be no goal available). Also add the ability to log the current goal, or indeed any term.		2020-05-31 14:33:34 +01:00
..
base	Allow scripts to inspect goal	2020-05-31 14:33:34 +01:00
contrib	Add visibility rules on types	2020-05-30 17:03:15 +01:00
network	Move network support to libidris2_support	2020-05-23 15:52:33 +01:00
prelude	Merge pull request #196 from edwinb/with-experiment	2020-05-29 17:01:41 +01:00