dusa icon indicating copy to clipboard operation
dusa copied to clipboard

Don't allow #builtin relations to be asserted or queried

Open robsimmons opened this issue 1 year ago • 0 comments

This works and it shouldn't, logging [ [ [ 1n, 2n, 3n ] ] ]

import { Dusa } from "https://unpkg.com/[email protected]/lib/client.js";
const dusa = new Dusa("#builtin INT_PLUS plus");
dusa.assert({ name: "plus", args: [1, 2], value: 3 });
console.log([...dusa].map(sol => [...sol.lookup("plus")]));

robsimmons avatar Nov 25 '24 02:11 robsimmons