Giters
mlabs-haskell
/
apropos
Propositional Logic Apropos Types
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
14
Watchers:
11
Issues:
26
Forks:
5
mlabs-haskell/apropos Issues
closing video
Updated
a year ago
Comments count
1
Pure auction contract example
Closed
a year ago
Documentation drive
Updated
2 years ago
look into using validity
Closed
2 years ago
Comments count
2
Fix 'example tests'
Closed
2 years ago
Bring apopos-lite in line with coding standards
Closed
2 years ago
Remove requirement for `SOP.Generic`
Closed
2 years ago
Full haddocks for apropos-lite
Closed
2 years ago
Decide on a testing strategy
Updated
2 years ago
Refine `attr` API and haddocks
Updated
2 years ago
demonstrate the utility of Apropos
Updated
2 years ago
Comments count
12
Roadmap
Closed
2 years ago
Prettyprinting
Updated
2 years ago
Examples for apropos-lite
Updated
2 years ago
Rewrite README
Closed
2 years ago
Comments count
3
Alternate scheme for specifying models - Description types
Closed
2 years ago
Remove unused modules
Closed
2 years ago
Port `apropos-lite` to GHC 9.2
Closed
2 years ago
Comments count
2
README for apropos-lite
Closed
2 years ago
Implement apropos-lite
Closed
2 years ago
simple format command for running all of the formatters
Closed
2 years ago
Comments count
2
Eliminate `HasPureRunner` typeclass
Closed
2 years ago
Comments count
4
Replace `:+` with a functional dependency
Closed
2 years ago
Comments count
4
Fix CI
Closed
2 years ago
Comments count
1
Migrate CI to Hercules
Closed
2 years ago
Comments count
1
`base` constraint prevents addition to `plutus-scaffold`
Closed
2 years ago