TechQA.

Question

Prolog member function should work but it doesnt

score 116 · Answer 1 · 2016-12-19 22:02:53

2

Answer

116

Views

Prolog member function should work but it doesnt

116 views Asked by Gargl At 19 December 2016 at 22:02

score 165 · Answer 2 · 2014-11-19 03:22:15

How do two atomic formulas unify?

165 views Asked by Stella At 19 November 2014 at 03:22

score 178 · Answer 3 · 2014-11-23 22:47:07

Surprising failure of unification in Idris

178 views Asked by Vic Smith At 23 November 2014 at 22:47

score 711 · Answer 4 · 2014-11-23 23:12:46

Generating run time proofs with type predicates in Idris

711 views Asked by Vic Smith At 23 November 2014 at 23:12

score 497 · Answer 5 · 2017-09-04 07:36:33

`coerce` and instantiation of type variables

497 views Asked by Sebastian Graf At 04 September 2017 at 07:36

score 275 · Answer 6 · 2017-09-09 11:13:36

Haskell Recursion Schemes: Traverse two structures simultaneously

275 views Asked by user47376 At 09 September 2017 at 11:13

score 411 · Answer 7 · 2020-10-21 02:07:14

Agda: what does `.(` mean?

411 views Asked by fsuna064 At 21 October 2020 at 02:07

score 453 · Answer 8 · 2013-12-27 21:20:37

Associative, commutative properties and identity elements of non-binary functions

453 views Asked by Rafael At 27 December 2013 at 21:20

score 793 · Answer 9 · 2014-01-05 15:59:52

Member predicate

793 views Asked by mrk At 05 January 2014 at 15:59

score 233 · Answer 10 · 2011-10-06 22:55:17

Requires MonadPlus (ST a) Instance

233 views Asked by emi At 06 October 2011 at 22:55

TechQA.

List Question

Prolog member function should work but it doesnt

How do two atomic formulas unify?

Surprising failure of unification in Idris

Generating run time proofs with type predicates in Idris

`coerce` and instantiation of type variables

Haskell Recursion Schemes: Traverse two structures simultaneously

Agda: what does `.(` mean?

Associative, commutative properties and identity elements of non-binary functions

Member predicate

Requires MonadPlus (ST a) Instance

Popular Questions

Popular Tags

Trending Questions