S

software-foundations

Settings | Report Duplicate

0

I Use This!

Inactive

Commits : Listings

Analyzed about 18 hours ago. based on code collected 2 days ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jun 11, 2025 — Jun 11, 2026 Showing page 1 of 8 Search / Filter on:
Merge pull request #51 from idris-hackers/develop	Eric Bailey	More...				over 7 years ago
Rework Nix Build	Eric Bailey	More...				over 7 years ago
prerequisites_macOS.md: fix permissions	Eric Bailey	More...				over 7 years ago
Update {CONTRIBUTING,README}.md and rebuild doc/index.html	Eric Bailey	More...				over 7 years ago
ImpCEvalFun rebased (#52)	Eric Bailey	More...				over 7 years ago
Monoid -> Iosevka	Eric Bailey	More...				over 7 years ago
Merge pull request #44 from idris-hackers/feature/fix-pdf	Eric Bailey	More...				over 7 years ago
Configure bare-bones Travis build	Eric Bailey	More...				over 7 years ago
Overhaul (Nix) build	Eric Bailey	More...				over 7 years ago
Adopt MIT license	Eric Bailey	More...				over 7 years ago
Merge pull request #43 from idris-hackers/impparser	Alex Gryzlov	More...				about 8 years ago
Merge pull request #45 from anton-trunov/prerequisites-macOS	Eric Bailey	More...				over 8 years ago
Add installation instructions for prerequisites on macOS	Anton Trunov	More...				over 8 years ago
minor syntax fixes	Alex Gryzlov	More...				over 8 years ago
examples and fixes	Alex Gryzlov	More...				over 8 years ago
commands parser, formatting	Alex Gryzlov	More...				over 8 years ago
boolean parser	Alex Gryzlov	More...				over 8 years ago
update build	Alex Gryzlov	More...				over 8 years ago
Id/Nat/AExp parsers	Alex Gryzlov	More...				over 8 years ago
Imp: fix proofs	Eric Bailey	More...				over 8 years ago
Imp: fix link	Eric Bailey	More...				over 8 years ago
add ImpParser	Alex Gryzlov	More...				over 8 years ago
WIP ImpParser	Alex Gryzlov	More...				over 8 years ago
fix Tactics	Alex Gryzlov	More...				over 8 years ago
Merge pull request #36 from idris-hackers/imp	Alex Gryzlov	More...				over 8 years ago
Update Tactics.lidr	Alex Gryzlov	More...				over 8 years ago
Update IndProp.lidr	Alex Gryzlov	More...				over 8 years ago
Merge branch 'develop' into imp	Alex Gryzlov	More...				over 8 years ago
fixes for latest Idris	Alex Gryzlov	More...				over 8 years ago
Merge pull request #32 from idris-hackers/indprinciples	Alex Gryzlov	More...				over 8 years ago

←
1
2
3
4
5
6
7
8
→