python (12.9k questions)

javascript (9.2k questions)

reactjs (4.7k questions)

java (4.2k questions)

java (4.2k questions)

c# (3.5k questions)

c# (3.5k questions)

html (3.3k questions)

Questions - coercion

Coq - Coercion of list nat

I would like to do a coercion from the type list nat to the type list bool. I would think that this could be done in the following way: From Coq Require Import Lists.List. Definition nat_to_bool (n :...
test-img

Sambo

list

types

coq

coercion

Votes: 0

Answers: 1

Latest Answer

The documentation states that a class name must be a defined name. Neither list nat nor list bool are defined names - they are both applications. You must give the types between you want to define coe...
test-img

M Soegtrop

Calculating distance between multiple points at the same time of the day

I have two dataframes, one with my boat GPS positions (5512 records) and one with fishing boats positions (35381 records). I want to calculate the distance between my boat and all other fishing boats ...
test-img

Silvia

r

distance

latitude-longitude

coercion

geographic-distance

Votes: 0

Answers: 1

Latest Answer

V2, Update (January 17, 2022) Glad it works for you. If you are willing to avoid for-loops you could consider a dplyr approach. Have a look. library(dplyr) df <- silvia %>% rowwise() ...
test-img

Pax

Posts

Questions

Blogs

Jobs