Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / mikeshulman/ohtt issues and pull requests

#12 - Equations for symmetry

Issue - State: open - Opened by mikeshulman over 2 years ago

#11 - Computing Id on eliminators

Issue - State: open - Opened by mikeshulman over 2 years ago

#10 - Path algebra

Issue - State: closed - Opened by mikeshulman over 2 years ago

#9 - Finish the universe

Issue - State: closed - Opened by mikeshulman over 2 years ago

#8 - Write a script to update Notations.agda automatically

Issue - State: open - Opened by mikeshulman over 2 years ago

#7 - Speed things up

Issue - State: open - Opened by mikeshulman over 2 years ago - 1 comment

#6 - Braid equation

Issue - State: closed - Opened by mikeshulman over 2 years ago

#5 - Naturality of symmetry

Issue - State: closed - Opened by mikeshulman over 2 years ago

#4 - Integers

Issue - State: open - Opened by mikeshulman over 2 years ago

#3 - Natural numbers

Issue - State: open - Opened by mikeshulman over 2 years ago

#2 - Sum types

Issue - State: open - Opened by mikeshulman over 2 years ago

#1 - Compute sym on all types

Issue - State: open - Opened by mikeshulman over 2 years ago - 1 comment