git.iko.soy/jibb
on d43c99b help sign in
jibb/tests/type-generic-pattern
8 files
../ about.txtResolve bounded deferred constructor constraints client.txtAdd source-backed UI and program prelude expected.txtAdd source-backed UI and program prelude no-event.txtAdd source-backed UI and program prelude owner-bad.txtAdd source-backed UI and program prelude owner.txtAdd source-backed UI and program prelude poly-values.txtCheck source-proven recursive tree patterns values.txtResolve bounded deferred constructor constraints