1
I Use This!
Inactive

Commits : Listings

Analyzed about 7 hours ago. based on code collected about 7 hours ago.
Jul 18, 2024 — Jul 18, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
works More... over 9 years ago
works More... over 9 years ago
move things around More... over 9 years ago
move things around More... over 9 years ago
distributed top-level .gitignore downward More... over 9 years ago
free More... over 9 years ago
remove redundant stuff More... over 9 years ago
free monads More... over 9 years ago
beginning of proof for gabriel's stuff More... over 9 years ago
added more info to Gabriel's post More... over 9 years ago
learning free monads/applicatives More... over 9 years ago
learning free monads More... over 9 years ago
minor update More... over 9 years ago
minor cleanup More... over 9 years ago
checkpoint More... over 9 years ago
learning free applicatives More... over 9 years ago
Add 2.5. More... over 9 years ago
Added 2.4 (and changed parser to right associative). More... over 9 years ago
psubst works More... over 9 years ago
working on psubst More... over 9 years ago
added 2.3 More... over 9 years ago
calculate truth table for any propositional formula More... over 9 years ago
test eval; list atoms More... over 9 years ago
beginning propositional logic semantics More... over 9 years ago
Added boolean T/F. More... over 9 years ago
Workaround (until I spend more time understanding): use "->" instead of "-->" More... over 9 years ago
Got Impl and Iff parsing to work, but not with exact syntax I want. More... over 9 years ago
Added Impl test. Tmp workaround: "-->" handled via ">" More... over 9 years ago
Add propositional logic pretty printing. More... over 9 years ago
Turned example into propositional logic parser. More... over 9 years ago