Question

Automatic detection of domain for dependent type function in Idris

score 252 · Answer 1 · 2016-12-25 15:04:11

252

Views

Automatic detection of domain for dependent type function in Idris

Published on 25 December 2016 at 15:04

score 130 · Answer 2 · 2017-09-14 20:01:27

130

Views

Type families and injectivity in a subset of indexes

Published on 14 September 2017 at 20:01

score 1.3k · Answer 3 · 2018-09-28 03:32:16

1.3k

Views

Non-Injective Closed Type Family

Published on 28 September 2018 at 03:32

score 145 · Answer 4 · 2021-01-09 20:03:59

145

Views

Generating Maximal Subsets of a Set Under Some Constraints in Python

Published on 09 January 2021 at 20:03

score 78 · Answer 5 · 2020-03-31 10:20:03

78

Views

Can I introduce sound constructor equivalence?

Published on 31 March 2020 at 10:20

score 998 · Answer 6 · 2019-12-16 22:03:04

998

Views

How to check if a hashmap is Injective (OneOnOne) in Java?

Published on 16 December 2019 at 22:03

score 52 · Answer 7 · 2021-02-22 01:17:03

52

Views

Need Help Trying to Simplify this algorithm to map points on an arbitrarily large 2d plane to unique integers

Published on 22 February 2021 at 01:17

score 100 · Answer 8 · 2020-02-04 10:56:06

100

Views

Examples of reduce functions that are injective?

Published on 04 February 2020 at 10:56

score 95 · Answer 9 · 2021-08-09 12:46:47

95

Views

How to define observational equality in Agda

Published on 09 August 2021 at 12:46

score 840 · Answer 10 · 2018-03-22 16:24:23

840

Views

Why can't we define closed data families?

Published on 22 March 2018 at 16:24

score 46 · Answer 11 · 2021-10-26 05:20:31

46

Views

How to prove that the type parameters of an Injective Type Family are Equivalent?

Published on 26 October 2021 at 05:20

score 41 · Answer 12 · 2018-02-14 15:48:05

41

Views

How to help GHC infer that `Arrows (Domains func) (CoDomain func) ~ func`

Published on 14 February 2018 at 15:48

score 251 · Answer 13 · 2016-01-21 11:54:46

251

Views

PK candidate must be an Injective, Surjective or Bijective function?

Published on 21 January 2016 at 11:54

score 2k · Answer 14 · 2015-09-19 00:31:15

2k

Views

How do we know all Coq constructors are injective and disjoint?

Published on 19 September 2015 at 00:31

score 2k · Answer 15 · 2018-01-29 01:15:22

2k

Views

Injective two-way mappings

Published on 29 January 2018 at 01:15

List Question

Automatic detection of domain for dependent type function in Idris

Type families and injectivity in a subset of indexes

Non-Injective Closed Type Family

Generating Maximal Subsets of a Set Under Some Constraints in Python

Can I introduce sound constructor equivalence?

How to check if a hashmap is Injective (OneOnOne) in Java?

Need Help Trying to Simplify this algorithm to map points on an arbitrarily large 2d plane to unique integers

Examples of reduce functions that are injective?

How to define observational equality in Agda

Why can't we define closed data families?

How to prove that the type parameters of an Injective Type Family are Equivalent?

How to help GHC infer that `Arrows (Domains func) (CoDomain func) ~ func`

PK candidate must be an Injective, Surjective or Bijective function?

How do we know all Coq constructors are injective and disjoint?

Injective two-way mappings

Trending Questions

Popular # Hahtags

Popular Questions