Search results

Optimize signature language

Status: Open.

#11 In jacobneu/GeneralizedAlgebra;

· jacobneu opened on Mar 4, 2025

Fail if argument is of the wrong type

Status: Open.

#10 In jacobneu/GeneralizedAlgebra;

· jacobneu opened on Mar 4, 2025

Fail if too many or two few arguments are supplied, or if implicit arguments are given explicitly

Status: Open.

#9 In jacobneu/GeneralizedAlgebra;

· jacobneu opened on Mar 4, 2025

Check correctness of applications

Status: Open.

#8 In jacobneu/GeneralizedAlgebra;

· jacobneu opened on Mar 4, 2025

Inference of implicit arguments, so that resulting signature is correct

Status: Open.

#7 In jacobneu/GeneralizedAlgebra;

· jacobneu opened on Mar 4, 2025

Syntax for explicitly supplying implicit arguments

Status: Open.

#6 In jacobneu/GeneralizedAlgebra;

· jacobneu opened on Mar 4, 2025

Ability to mark arguments as implicit, and have the parser accept when they are not supplied at application

Status: Open.

#5 In jacobneu/GeneralizedAlgebra;

· jacobneu opened on Mar 4, 2025

Mark arguments as implicit

Status: Open.

#4 In jacobneu/GeneralizedAlgebra;

· jacobneu opened on Mar 4, 2025

Implicit arguments

Status: Open.

#3 In jacobneu/GeneralizedAlgebra;

· jacobneu opened on Mar 4, 2025