Last active
February 3, 2021 01:21
-
-
Save liam-fitzgerald/d2fb350bfd0ad3cd93a27b20021f9427 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
/+ auto=language-server-complete, | |
easy-print=language-server-easy-print | |
:- %say | |
|= [* [query=cord ~] ~] | |
:- %tang | |
=/ lib=type | |
-:!>(..zuse) | |
|^ | |
=/ specs | |
%+ sear | |
|= sps=(list spec) | |
^- (unit spec) | |
?~ sps ~ | |
`[%bccl i.sps t.sps] | |
%+ most ace | |
till:vast | |
=/ [sample=spec return=spec] | |
%+ rash query | |
;~ (glue ;~(plug ace hep gar ace)) | |
specs | |
specs | |
== | |
^- tang | |
%+ murn | |
(get-identifiers:auto -:!>(..zuse)) | |
|= [name=term =type] | |
^- (unit tank) | |
?: (~(has in molds) name) ~ | |
=/ =hoon | |
:+ %kthp | |
return | |
:+ %cnhp | |
wing+~[name] | |
[%kttr sample] | |
=/ res | |
(mule |.((~(mint ut lib) %noun hoon))) | |
?- -.res | |
%| ~ | |
:: | |
%& | |
=/ type-desc | |
~(ram re ~(duck easy-print type)) | |
`leaf+"{(trip name)}: {type-desc}" | |
== | |
++ molds | |
~+ | |
%- sy | |
^- (list term) | |
%+ murn | |
(get-identifiers:auto lib) | |
|= [name=term =type] | |
^- (unit term) | |
=/ =hoon | |
:+ %kthp [%like ~[%mold] ~] | |
wing+~[name] | |
=/ res | |
(mule |.((~(mint ut lib) %noun hoon))) | |
?- -.res | |
%& `name | |
%| ~ | |
== | |
-- |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment