Ecosyste.ms: Issues

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

GitHub / nmvdw/finitaryfunctors issues and pull requests

#7 - Finitary vs finitely bounded

Issue - State: open - Opened by nmvdw over 3 years ago

#6 - Signature from finitary monad

Issue - State: open - Opened by nmvdw over 3 years ago

#5 - Term algebra is finitary

Issue - State: open - Opened by nmvdw over 3 years ago

#4 - Filtered colimits

Issue - State: open - Opened by nmvdw over 3 years ago

#3 - Free algebra (term model)

Issue - State: open - Opened by nmvdw over 3 years ago

#2 - Modify the construction in the code

Issue - State: open - Opened by nmvdw over 3 years ago

#1 - Syntax of HITs

Issue - State: open - Opened by nmvdw over 3 years ago