on c4e28d2 help sign in
jibb/tests/type-generic-recursion
15 files
../ about.txtAdd source-backed UI and program prelude alias.txtAdd source-backed UI and program prelude bad-constructor.txtAdd source-backed UI and program prelude bad-match.txtAdd source-backed UI and program prelude bad-mold.txtAdd source-backed UI and program prelude bad-parameter.txtAdd source-backed UI and program prelude chain.txtTrack source-proven generic recursive identities client.txtAdd source-backed UI and program prelude expected.txtAdd source-backed UI and program prelude list-shadow.txtAdd source-backed UI and program prelude local-distinct.txtAdd source-backed UI and program prelude local-only.txtAdd source-backed UI and program prelude local-shadow.txtAdd source-backed UI and program prelude tree-changed.txtAdd source-backed UI and program prelude tree.txtAdd source-backed UI and program prelude