pantagruel icon indicating copy to clipboard operation
pantagruel copied to clipboard

Published 20 hours ago • verified publisher icon subsetpark
→

Metadata

A program specification language with a formal syntax and ad-hoc semantics.

Results 2 pantagruel issues
Sort by recently updated
recently updated
newest added

Environment closure handling improvement

I currently quantifications have refs that can be associated with scopes in the main environment. Instead, create the quant ast with a single element array. Populate the array with a...

subsetpark avatar subsetpark

Relate/Output to DOT

2 comment

I think it could be helpful to compare against or have a direct output mode for DOT, then one could easily make clickable svg or HTML, graph etc. This may...

dezren39 avatar dezren39

← Metadata

68
Stars
2
Forks
Watchers

Owner

verified publisher icon subsetpark

Metadata

A program specification language with a formal syntax and ad-hoc semantics.

Back