Skip to content

Instantly share code, notes, and snippets.

Eric Rasmussen ericrasmussen

Block or report user

Report or block ericrasmussen

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
ericrasmussen / users.idr
Created May 3, 2014
Contrived user history example to show off dependent types
View users.idr
module main
I assume you're coming here from
If not, please take a moment to read it. It's a very important white paper.
Completely serious, too.
Now that we have that out of the way, this gist is a contrived example that
ericrasmussen /
Created Feb 9, 2012
FormGenerator to extend Deform functionality
Simple module to ease form handling with ``Deform``. The provided
``FormGenerator`` class handles repetitive tasks like validation,
xhr requests, and recovering from exceptions thrown by the model.
### Begin example scenario: Adding a new user
from myschemas import UserSchema
from formgenerator import (
You can’t perform that action at this time.