L

Lemmachine

Settings | Report Duplicate

0

I Use This!

Inactive

Commits : Listings

Analyzed about 6 hours ago. based on code collected about 12 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Apr 22, 2023 — Apr 22, 2024 Showing page 1 of 4 Search / Filter on:
update project status for the few followers that may care :)	Larry Diehl	More...				over 13 years ago
Fix readme links, seriously this time	Larry Diehl	More...				almost 14 years ago
Fix readme links to point to src directory	Larry Diehl	More...				almost 14 years ago
Move code into "src"	Larry Diehl	More...				almost 14 years ago
Content-Type now filled in by framework rather than former FFI stub.	Larry Diehl	More...				almost 14 years ago
Custom response body supported	Larry Diehl	More...				almost 14 years ago
Make it possible to use Lemmachine as a library to compile & run any resource, not just the provided Default anymore.	Larry Diehl	More...				almost 14 years ago
Little spike file encoding http spec definitions as types directly	Larry Diehl	More...				almost 14 years ago
Start concentrating on proving reachable states for your resource, and let the framework concentrate on reachable states of any resource	Larry Diehl	More...				almost 14 years ago
Rename "convert" to decoding function "El" to be consistent with literature	Larry Diehl	More...				almost 14 years ago
Resource Property renamed to Hook	Larry Diehl	More...				almost 14 years ago
Prepping interface for resolving a complete response	Larry Diehl	More...				almost 14 years ago
More sensible response for example default resource runner	Larry Diehl	More...				almost 14 years ago
Better curl examples	Larry Diehl	More...				almost 14 years ago
Respond to Accept catchall requests	Larry Diehl	More...				almost 14 years ago
Cabal PATH tip in readme	Larry Diehl	More...				almost 14 years ago
readme formatting	Larry Diehl	More...				almost 14 years ago
Link to agda-mode guide	Larry Diehl	More...				almost 14 years ago
Link to Emacs agda-mode instructions	Larry Diehl	More...				almost 14 years ago
Link to Haskell Platform	Larry Diehl	More...				almost 14 years ago
Installation readme updates	Larry Diehl	More...				almost 14 years ago
readme updates	Larry Diehl	More...				almost 14 years ago
Project description in README	Larry Diehl	More...				almost 14 years ago
Proofs & Lemmas working with new RequestHeader type	Larry Diehl	More...				almost 14 years ago
Updated README	Larry Diehl	More...				almost 14 years ago
Namespace Lemmachine.FFI	Larry Diehl	More...				almost 14 years ago
Cleanup	Larry Diehl	More...				almost 14 years ago
Vendor Agda stdlib	Larry Diehl	More...				almost 14 years ago
Agda standard library 0.2	Larry Diehl	More...				almost 14 years ago
Serve requests via Hack	Larry Diehl	More...				almost 14 years ago

←
1
2
3
4
→