openhub.net
Black Duck Software, Inc.
Open Hub
Follow @
OH
Sign In
Join Now
Projects
People
Organizations
Tools
Blog
BDSA
Projects
People
Projects
Organizations
Forums
L
learn-haskell-coq-ml-etc
Settings
|
Report Duplicate
1
I Use This!
×
Login Required
Log in to Open Hub
Remember Me
Inactive
Commits
: Listings
Analyzed
about 7 hours
ago. based on code collected
about 7 hours
ago.
Jul 18, 2024 — Jul 18, 2025
Showing page 31 of 47
Search / Filter on:
Commit Message
Contributor
Files Modified
Lines Added
Lines Removed
Code Location
Date
works
Harold Carr
More...
over 9 years ago
works
Harold Carr
More...
over 9 years ago
move things around
Harold Carr
More...
over 9 years ago
move things around
Harold Carr
More...
over 9 years ago
distributed top-level .gitignore downward
Harold Carr
More...
over 9 years ago
free
Harold Carr
More...
over 9 years ago
remove redundant stuff
Harold Carr
More...
over 9 years ago
free monads
Harold Carr
More...
over 9 years ago
beginning of proof for gabriel's stuff
Harold Carr
More...
over 9 years ago
added more info to Gabriel's post
Harold Carr
More...
over 9 years ago
learning free monads/applicatives
Harold Carr
More...
over 9 years ago
learning free monads
Harold Carr
More...
over 9 years ago
minor update
Harold Carr
More...
over 9 years ago
minor cleanup
Harold Carr
More...
over 9 years ago
checkpoint
Harold Carr
More...
over 9 years ago
learning free applicatives
Harold Carr
More...
over 9 years ago
Add 2.5.
Harold Carr
More...
over 9 years ago
Added 2.4 (and changed parser to right associative).
Harold Carr
More...
over 9 years ago
psubst works
Harold Carr
More...
over 9 years ago
working on psubst
Harold Carr
More...
over 9 years ago
added 2.3
Harold Carr
More...
over 9 years ago
calculate truth table for any propositional formula
Harold Carr
More...
over 9 years ago
test eval; list atoms
Harold Carr
More...
over 9 years ago
beginning propositional logic semantics
Harold Carr
More...
over 9 years ago
Added boolean T/F.
Harold Carr
More...
over 9 years ago
Workaround (until I spend more time understanding): use "->" instead of "-->"
Harold Carr
More...
over 9 years ago
Got Impl and Iff parsing to work, but not with exact syntax I want.
Harold Carr
More...
over 9 years ago
Added Impl test. Tmp workaround: "-->" handled via ">"
Harold Carr
More...
over 9 years ago
Add propositional logic pretty printing.
Harold Carr
More...
over 9 years ago
Turned example into propositional logic parser.
Harold Carr
More...
over 9 years ago
←
1
2
…
27
28
29
30
31
32
33
34
35
…
46
47
→
This site uses cookies to give you the best possible experience. By using the site, you consent to our use of cookies. For more information, please see our
Privacy Policy
Agree