mariari

Results 137 issues of mariari

## Problem Currently we have a fairly good exhaustion system for geb ```lisp (defmethod dom ((x )) (assure substobj (typecase-of substmorph x (init so0) (terminal (obj x)) (alias (dom (obj...

static-analysis
tooling

Currently we do a mess of mixing serapeum, CL, and the GEB package. Really we should just define out our `common-geb` and use that. We can include many common things...

enhancement

Followup from #64. We need a solid API for the base cat-obj category. Please read that issue for context

enhancement
research

Currently the BITC category uses a list to represents objects and transformations. This is bad, because it is more naturally expressed as a bit-vector. Here are a few sample documentation...

enhancement
optimization

I am sick of writing terms by hand. ```lisp (def silly-example (comp (mcase nil->list (comp cons->list (cons-on-cons geb-bool:true))) cons->list *cons*)) ``` is a pain to write, as I have to...

enhancement
frontend

It would be nice if we could give each other example code over the wired. To do this I propose the following We implement the following method ```lisp (defgeneric make-eval-form...

enhancement

When running a graphql query, if any of the values are `Union`'s then GT will pop open a debugger. This is because `newValueUsing:` gets ran on the object. Missing the...

bug

1. If the graph tab is cut off, and the user resizes it, then the drawn graph is not displayed: ![](https://pomf2.lain.la/f/bvhoxs4.png) However if you scroll off the screen and back...

I had similar issues to a report that was described here: https://elixirforum.com/t/compile-error-in-syslog-since-upgrading-to-erlang-27/66606 ```sh % rebar3 pc compile ===> Verifying dependencies... make: 對「libsodium」無需做任何事。 ===> Uncaught error in rebar_core. Run with DIAGNOSTIC=1...

I was programming some visual tooling to see which topics are parents of others and I noticed that `IceCommit >> isParentOf:` is much too slow. Thankfully there is a good...