Ecosyste.ms: Issues

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

GitHub / Lokidottir/typerbole issues and pull requests

#11 - Preferred versions on Hackage

Issue - State: closed - Opened by lehins over 8 years ago - 3 comments
Labels: wontfix

#10 - Move Control.Typecheckable to it's own package.

Issue - State: open - Opened by Lokidottir over 8 years ago - 1 comment
Labels: enhancement

#9 - Implement subhask-style automated test writing

Issue - State: open - Opened by Lokidottir over 8 years ago
Labels: enhancement, tests

#8 - Design a typeclass for typesystems with constraints.

Issue - State: open - Opened by Lokidottir over 8 years ago
Labels: enhancement

#7 - Document the type expression psudocode & made it a quasiquoter

Issue - State: open - Opened by Lokidottir over 8 years ago
Labels: enhancement, documentation

#6 - Implement a typesystem based on the Calculus of Constructions

Issue - State: open - Opened by Lokidottir over 8 years ago - 1 comment
Labels: enhancement

#5 - Put together a working travis file

Issue - State: open - Opened by Lokidottir over 8 years ago

#3 - Give the Unification module better, graphical, documentation

Issue - State: closed - Opened by Lokidottir over 8 years ago - 1 comment
Labels: enhancement, documentation

#2 - Abstract specific properties of lambdacube typesystems to their own typeclasses

Issue - State: open - Opened by Lokidottir over 8 years ago - 2 comments
Labels: enhancement

#1 - Solving of type variable aliasing isn't working as intended

Issue - State: closed - Opened by Lokidottir over 8 years ago - 2 comments
Labels: bug, breaks theory