This Pull Request is for HacktoberFest 2020

Description of Change

Checklist

• Added description

doctest help

Add quickselect algorithm. Quickselect is a selection algorithm to find the kth smallest element in an unordered list.

Tick-Tack-Toe game is not working for exception part

Description

Else part on line 247 takes you to infinite loop on getting any char value as input for position.

Expected Behavior

Since we migrated from the Haskell runtime (what's in master now) to a React + Typescript runtime that's part of the frontend (what's in web-runtime now), a lot of the example domains we implemented for the paper need to be ported to the new runtime.

This is high-priority for us since it will enable us to test that the new runtime is at parity, and start c

Explain what you would like to see improved

We had CI builds stuck in downloading dependencies, e.g. VecCore. That should timeout.

Optional: share how it could be improved

Add the TIMEOUT parameter to all ExternalProject calls downloading sources.

There are multiple graph generators that currently do not check their input for validity.

These need to be fixed:

• callaway_traits_game
• establishment_game

The following functions have been verified to check their arguments properly:

forest_fire_game

Please update the lists above as you verify functions or find new ones with problems.

This is marked as

There is now a type circle in UniMath.SyntheticHomotopyTheory.Circle2. It would be great to define pi_1 of a pointed type, and to show that pi_1(circle, pt) \simeq Z.