Leibniz in Pharo

Ayush Anand
Apr 28 · 5 min read

Installation

Metacello new
baseline: 'Leibniz';
repository: 'github://khinsen/leibniz-pharo/src';
load.
FreeTypeFontProvider current updateFromSystem.

StandardFonts defaultFont:
(LogicalFont
familyName: 'Arial Unicode MS'
pointSize: 10).

StandardFonts codeFont:
(LogicalFont
familyName: 'DejaVu Sans Mono'
pointSize: 10).

StandardFonts listFont:
(LogicalFont
familyName: 'Arial Unicode MS'
pointSize: 10).

StandardFonts menuFont:
(LogicalFont
familyName: 'Arial Unicode MS'
pointSize: 10).

StandardFonts buttonFont:
(LogicalFont
familyName: 'Arial Unicode MS'
pointSize: 10).

StandardFonts windowTitleFont:
(LogicalFont
familyName: 'Arial Unicode MS'
pointSize: 11).

StandardFonts balloonFont:
(LogicalFont
familyName: 'Arial Unicode MS'
pointSize: 9).

StandardFonts haloFont:
(LogicalFont
familyName: 'Arial Unicode MS'
pointSize: 9).

Package Overview

The operators for boolean context
Tree view of the multiplication op
Network view
How the sorts are represented

Conclusion

Welcome to a place where words matter. On Medium, smart voices and original ideas take center stage - with no ads in sight. Watch
Follow all the topics you care about, and we’ll deliver the best stories for you to your homepage and inbox. Explore
Get unlimited access to the best stories on Medium — and support writers while you’re at it. Just $5/month. Upgrade