/explore
|
You are here 
|
thomascountz.com | ||
| | | | |
blog.jayfields.com
Module.include(module, ..) is commonly used to mix modules into classes and other modules. When a module is included the constants, methods... |
|
| | | | | ||
| | | | |
thepugautomatic.com
I recently discovered the Ruby Module Builder pattern. It lets you pass in arguments to dynamically generate a module at include time: class Greeter < Module def initialize(name)... |
|
| | | | | ||
| | | | |
fractaledmind.github.io
This is my personal site, where I write about Ruby, programming, and any of my varied fascinations. |
|
| | | | | ||
| | | | |
github.com
The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. - GitHub - theoremprover-museum/HOL88: The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. |
|
| | | |||
