Geeks
cpitclaudel
/
synquid-emacs
Edit Synquid files in Emacs!
Primary Language
Emacs Lisp
synquid-emacs GitHub
Markdown
Readme
1
Issue
3
Stargazers
4
Watchers
Issues
Closed issue
Should not pass `--resolve` when synthesizing
#2 opened
8 years ago
1