Matthew Pickering 08e5ef20d8 cedille: Make a seperate output for the base library ... For now, for normal usage you need to add `${cedille.lib}` to the `~/.cedille/options` file so that cedille will find the base libraries. There is no option to pass options by the command line.		2018-10-22 08:43:07 +00:00
..
default.nix	cedille: Make a seperate output for the base library	2018-10-22 08:43:07 +00:00