TechQA.

Question

Prolog member function should work but it doesnt

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

2

Answer

103

Views

Prolog member function should work but it doesnt

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

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

How do two atomic formulas unify?

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

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

Surprising failure of unification in Idris

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

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

Generating run time proofs with type predicates in Idris

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

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

`coerce` and instantiation of type variables

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

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

Haskell Recursion Schemes: Traverse two structures simultaneously

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

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

Agda: what does `.(` mean?

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

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

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

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

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

Member predicate

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

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

Requires MonadPlus (ST a) Instance

218 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