Skip to content

GitLab

Explore

Sign in
Register

Primary navigation

Project

S

setfunction-synthesis
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Releases
- Model registry
- Environments
- Incidents

Snippets Groups Projects

c4adb9c1

Commit c4adb9c1 authored 6 years ago by Michael Hanus

Downloads
- Patches
- Plain Diff

Prototypical implementation of synthesizing set functions packaged

parents

Loading

Checking pipeline status

Changes 21
Pipelines 1

Show whitespace changes

Inline Side-by-side

Showing

.gitignore 4 additions, 0 deletions

.gitignore
LICENSE 29 additions, 0 deletions

LICENSE
README.md 100 additions, 0 deletions

README.md
examples/Examples.curry 12 additions, 0 deletions

examples/Examples.curry
examples/Xor.curry 19 additions, 0 deletions

examples/Xor.curry
package.json 24 additions, 0 deletions

package.json
src/GenConvertST.curry 248 additions, 0 deletions

src/GenConvertST.curry
src/GenNF.curry 106 additions, 0 deletions

src/GenNF.curry
src/GenSetFunction.curry 82 additions, 0 deletions

src/GenSetFunction.curry
src/LiftCase.curry 212 additions, 0 deletions

src/LiftCase.curry
src/Lookup.curry 56 additions, 0 deletions

src/Lookup.curry
src/Main.curry 19 additions, 0 deletions

src/Main.curry
src/Options.curry 65 additions, 0 deletions

src/Options.curry
src/Plural.curry 258 additions, 0 deletions

src/Plural.curry
src/ST.curry 233 additions, 0 deletions

src/ST.curry
src/State.curry 135 additions, 0 deletions

src/State.curry
src/StateMonad.curry 36 additions, 0 deletions

src/StateMonad.curry
src/Synthesize.curry 58 additions, 0 deletions

src/Synthesize.curry
src/Totalize.curry 53 additions, 0 deletions

src/Totalize.curry
src/Translate.curry 106 additions, 0 deletions

src/Translate.curry

with 1855 additions and 0 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment